Proof by contraposition
1.
Definition
nach dem
Kontrapositionsgesetz
:
für \(A \Rightarrow B\) \(\lnot B \Rightarrow \lnot A\)
hinreichend
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:22