Logika matematika: Perbedaan antara revisi

* Invers dari <math>p \to q</math> adalah <math>~p \to→ ~q</math>

* Konvers dari <math>p \to q</math> adalah <math>q \to→ p</math>

* Kontraposisi dari <math>p \to q</math> adalah <math>~q \to→ ~p</math>