Oleh:

Dra. Emi Pujiastuti, M.Pd.

Dr. Mulyono, M.Si.
Drs. Sugiarto, M.Pd.
 Perhatikan sekumpulan pernyataan berikut

1) Jika suatu segiempat persegi panjang

1 maka segiempat itu jajargenjang
2) Segiempat ABCD merupakan persegipanjang

3) Segiempat ABCD tersebut jajargenjang

Proposisi yang Proposisi yang

menegaskan disebut ditegaskan disebut
Argumen di atas dapat
.premis
... ....
konklusi
Sekumpulan proposisi simbul
dinyatakan dengan tersebut
 q
proposisi 3) pditegaskan dari dua
p
proposisi lainnya.
---------------
Sehingga disebut argumen.
 q
 1) Jika suatu bilangan habis di bagi empat
2 maka bilangan itu bilangan genap
2) Jumlah ukuran sudut segitiga 180o

3) Kedua diagonal persegipanjang sama panjang

Apakah sekumpulan proposisi

tersebut merupakan
Sekumpulan proposisi tersebut
argumen? Jelaskan!
bukan argumen
Sebab tidak ada proposisi yang
ditegaskan dan tidak ada yang
menegaskan
Argumen Implikasi
{  }
p  q
(p q) B B B B B B B
p
B S S S B B S
S B B S S B B
 q S B S S S B S

Ternyata
Argumen
Ditunjukkan
Jadi
Apakah argumenargumen
dengan Tentukan nilai
langkah
dinyatakan
merupakan
tersebut tersebut
sah? sah
kebenarannya menjadi
tautologi
sbb:
implikasi
 Argumen Implikasi
{  }
p  q
(p q) B B B B B B B
q B S S S S B B
S B B B B S S
 p S B S S S B S

Ternyata bukan
Jadi argumen tersebut
Ditunjukkan Argumen
tautologi
Apakah argumen Tentukan nilai dinyatakan
dengan
tidak sahsah? langkah
tersebut kebenarannya menjadi implikasi
sbb:
Argumen
Merupakan
argumen sah
p  q
p Disebut
 q Hukum modus
ponen (MP)
 Argumen Argumen

p  q p  q
q q  r
 p  p r

Merupakan argumen sah Merupakan argumen sah

Disebut Disebut
Hukum modus tolen (MT) Hukum silogisma (Sil)
 p  q p  q
p
 q  q

Merupakan argumen sah Merupakan argumen sah

Disebut hukum destruktif Disebut hukum
silogiame (DS) simplifikasi (Sim)
1) (p  q)  (r  s)
2) p  (q  r)
3) q  t /  p  s
1) (p  q)  (r  s)
2) p  (q  r)
3) q  t /  p  s
1) (p  q)  (r  s) p  q
Sim
2) p  (q  r)  q

3) q  t /  p  s
p  q
p DS
4) p  q (1, Sim)  q

5) r  s (1, Sim)
p  q
6) q (3, Sim) p  r Sil
 p  r
7) p (4, 6 MT)
p  q
8) q  r (2, 7 DS) q MT
 p
9) p  r (4,8 Sil)
Terbukti
10) p  s (9.5, Sil)
p : Adi mengajak saya nonton
q : Adi mengajak saya makan di restoran
r : Saya akan senang
 pq
(p  q)  r
r