Page 124 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)
P. 124
∴ →
6) Disjunctive Syllogism (DS)
∨
~
∴
atau
∨
~
∴
7) Addition (Add)
∴ ∨
atau
∴ ∨
8) Constructive Dilemma (CD)
→
→
∨
∴ ∨
9) Destructive Dilemma (DD)
→
→
~ ∨ ~
∴ ~ ∨ ~
3. Aturan-aturan penukaran adalah sebagai berikut:
10) De Morgan’s Theorem (DM):
~( ˄ ) ≡ ~ ˅~
Buku Ajar Pengantar Dasar Matematika 120
