A.

IDENTITAS
Nama : Tyas Nirmala Diksa (201410060311035)
Kelas : Matematika I-A
METODE DEDUKSI 1
(Pembuktian Validitas dan Invaliditas)
https://luckyyuki.wordpress.com/2011/02/bab-i.doc/Minggu,16-November-
2014/jam:21.15
B. ISI

Disini di jelaskan bahwa, ada berbagai macam aturan untuk membuktikan validitas dan
invaliditas suatu argumen, yaitu :

1. Aturan penyimpulan
a. Modus Ponens e. Konstruktif delema
p→q (p → q)  (r → s)
p pvr
∴ ~q ∴q v s
b. Modus Tollens f. Distruktif delema
p→q (p → q)  (r → s)
~q ~q v ~s
∴ ~p ∴ ~p v ~r
c. Silogisme g. Simplifikasi
p→q Pq
q→r ∴p
∴p → r h. Adisi
d. Distriktif silogisma P
pvq ∴p v q
~p i. Konjungsi
∴ ~q p
q
∴p  q
 2. Hukum Aljabar Proposisi (aturan penggantian)

a) Hukum Idempoten f) Hukum Komplemen

(p v q) = p p v ~p = T
b) Hukum assosiatif g) Transposisi
P ∨ (q ∨ r ) = (p ∨ q) ∨ r (p → q) = (~q → ~p )
c) Hukum komutatif h) Hukum Implikasi
(p v q ) = (q v p) (p → q) = (~p ∨ q )
d) Hukum Distributif i) Hukum Ekivalensi
p ∧ (q∨ r ) = (p ∧ q) ∨ (p ∧ r) (p ≡ q) = [(p → q )∧ (q → p )
e) Hukum Identitas j) Hukum Eksportasi
pvT=T (p ∧q) → r = p → (q → r )
k) Hukum De Morgan
~(p∧q) = ~p ∨ ~q

C. KOMENTAR
Saya kurang setuju, karena menurut sumber lain, dalam aturan penggantian ada juga aturan – aturan
lain, yaitu :
1) Dobel Negasi
p = ~(~p)
2) Tautologi
p=p∨p

dan sekedar menambahkan, aturan penggantian di gunakan untuk membuktikan :

 Dua proposisi ekivallen (selain menggunakan table kebenaran)

 Suatu proposisi tautology atau kontradiksi (selain menggunakan table kebenaran)
 Membuktikan kesahan suatu argument

D. REFERENSI
http://file.upi.edu/Direktori/FPMIPA/JUR._PEND._MATEMATIKA/196612131992031-
CECE_KUSTIAWAN/Argumen_dan_Metode_Deduksi.pdf