Page 122 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)

13) Distribution (Dist):

[ ˄( ˅ )] ≡ [( ˄ )˅( ˄ )]
[ ˅( ˄ )] ≡ [( ˅ )˄( ˅ )]
14) Double Negation (DN):
≡ ~~

15) Transposition (Trans):

( → ) ≡ (~ → ~ )
16) Mateial Implication (Impl):

( → ) ≡ (~ ˅ )
17) Material Equivalent (Equiv):

( ↔ ) ≡ [( → )˄( → )]
( ↔ ) ≡ [( ˄ )˅(~ ˄~ )]
18) Exportation (Exp)

[( ˄ ) → ] ≡ [ → ( → )]
19) Tautologi (Taut):

≡ ˅
≡ ˄
Aturan penarikan kesimpulan dan aturan penukaran
merupakan argumen-argumen yang valid untuk melakukan
pembuktian validitas. Jadi, pembuktian validitas
merupakan cara untuk menunjukkan bahwa argumen
tersebut valid dengan menggunakan aturan-aturan
penarikan kesimpulan yang valid.

Buku Ajar Pengantar Dasar Matematika 118