Kontrapositionsgesetze
Es gibt die folgenden Kontrapositionsgesetze:
1. \(p rightarrow q Leftrightarrow neg q rightarrow neg p\)
2. \(p rightarrow neg q Leftrightarrow q rightarrow neg p\)
3. \(neg p rightarrow q Leftrightarrow neg q rightarrow p\)
4. \(neg neg p Leftrightarrow p\)