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 ∴qvs
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 ∴pvq
~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) ∨ (p → q) = (~q → ~p )
r h) Hukum Implikasi
c) Hukum komutatif (p → q) = (~p ∨ q )
(p v q ) = (q v p) i) Hukum Ekivalensi
d) Hukum Distributif (p ≡ q) = [(p → q )∧ (q
p ∧ (q∨ r ) = (p ∧ q) ∨ →p)
(p ∧ r) j) Hukum Eksportasi
e) Hukum Identitas (p ∧q) → r = p → (q
pvT=T →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