Page 8 - modul -dikonversi_merged_Neat

4) ~ (p  q)  (p ~ q) (q ~ p)

5) ~ (q → p)  q ~ p

6) ~ (~ p →~ q)  ~ p  q  q ~ p

7) ~ (~ q →~ p)  ~ q  p  p ~ q
~ (x  R)  x  R
8)
Negasi dari Ada : Semua...................tidak..........

: Tidak.....................................

9) ~ (x  R)  x  R
Negasi dari Semua : Ada......................tidak.........

: Tidak...................................

❖ Pernyataan Majemuk yang Ekivalen.
1) p  q  q  p

2) p  q  q  p
3) p  (q  r)  (p  q) r
4) p  (q  r)  (p  q) r
5) p  (q  r )  (p  q) (p  r )
6) p  (q  r)  (p  q) (p  r)

7) p  q  ~ p → q
8) p → q ~ p  q

❖ Penarikan Kesimpulan
Sebelum menarik suatu kesimpulan, ada beberapa istilah yang harus diketahui, yaitu :
• premis adalah beberapa pernyataan yang menjadi asumsi dari penyimpulan.
• konklusi adalah pernyataan yang merupakan kesimpulan akhir dari suatu penarikan
kesimpulan.
• argumen adalah penarikan kesimpulan dari serangkaian premis.
Jadi suatu argumen terdiri atas 2 kelompok pernyataan yaitu premis dan konklusi. Antara premis
dan konklusi dipisahkan dengan tanda garis.
Ada 3 aturan penarikan kesimpulan yaitu :
1. Silogisme
Silogisme dibagi :
▪ Silogisme Disjungsi
premis 1 : p  q atau p  q

premis 2 : ~ p atau ~ q

konklusi :  q  p
Contoh : MAN 8 Jakarta terletak di Jakarta Selatan atau di Jakarta Timur . p  q
MAN 8 Jakarta tidak terletak di Jakarta Selatan. ~ p

Jadi, MAN 8 Jakarta terletak di Jakarta Timur.  q

MAT. 01 7

Tri Ambarwati Nurul Putri