Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

TAUTOLOGI Evaluasi Validitas Argumen  Jika anda memahami mata kuliah logika informatika, dan Anda tidak memahami tautologi,

Presentasi serupa


Presentasi berjudul: "TAUTOLOGI Evaluasi Validitas Argumen  Jika anda memahami mata kuliah logika informatika, dan Anda tidak memahami tautologi,"— Transcript presentasi:

1 TAUTOLOGI

2 Evaluasi Validitas Argumen  Jika anda memahami mata kuliah logika informatika, dan Anda tidak memahami tautologi, maka Anda tidak lulus. A = Anda memahami mata kuliah logika informatika B = Anda memahami tautologi C = Anda lulus (A^¬B)  ¬C

3 ABC¬B¬CA^¬B (A^¬B)  ¬C FFFTTFT FFTTFFT FTFFTFT FTTFFFT TFFTTTT TFTTFTF TTFFTFT TTTFFFT

4 Contoh 1  Tidak belajar, tidak lulus  Jika Anda tidak belajar, maka Anda tidak lulus. A = Anda belajar B = Anda lulus ¬A  ¬B

5 Contoh 2  Barang-barang yang dibeli di toko ini dapat dikembalikan hanya jika berada dalam kondisi yang baik, dan pembeli membawa bukti pembeliannya. A = barang-barang dapat dikembalikan B = barang-barang dalam kondisi baik C = pembeli membawa bukti pembelian A  (B^C)

6 Contoh 3  Jika Badu belajar rajin dan sehat, maka badu lulus ujian, atau jika Badu tidak belajar rajin dan tidak sehat, maka Badu tidak lulus ujian.  A = badu belajar rajin  B = badu sehat  C = badu lulus ujian  ((A^B)  C)v((¬A^¬B)  ¬C)

7 Contoh 4  (A^B)  (Cv(¬B  ¬C)) ABC¬B¬CA^B ¬B  ¬CCv(¬B  ¬C)(A^B)  (Cv(¬B  ¬C)) FFFTTFTTT FFTTFFFTT FTFFTFTTT FTTFFFTTT TFFTTFTTT TFTTFFFTT TTFFTTTTT TTTFFTTTT

8 Tautologi bukan?  (Av¬A) A¬AAv¬A FTT TFT

9 Tautologi bukan?  ¬(A^B)vB ABA^B¬(A^B)¬(A^B)vB FFFTT FTFTT TFFTT TTTFT

10 Pembuktian  Jika ¬(A^B)vB = tautologi  Buktikan ¬((AvB)^C)vC juga tautologi  Gunakan skema P dan Q 1. ¬(P^Q)vQ 2. P = A^B dan Q = C 3. 1 dan 2 akan terlihat sama, jadi disebut tautologi

11  Jika tono pergi kuliah, maka tini juga pergi kuliah. Jika siska tidur, maka tini pergi kuliah. Dengan demikian, jika tono pergi kuliah atau siska tidur maka tini pergi kuliah. A= tono pergi kuliah B = tini pergi kuliah C= siska tidur 1. A  B 2. C  B 3. (AvC)  B ((A  B)^(C  B))  ((AvC)  B)

12 ABC ABABCBCB(A  B)^(C  B) AvC (AvC)  B((A  B)^(C  B))  ((AvC)  B) FFFTTTFTT FFTTFFTFT FTFTTTFTT FTTTTTTTT TFFFTFTFT TFTFFFTFT TTFTTTTTT TTTTTTTTT

13 Kontradiksi  A^¬A A¬AA^¬A FTF TFF

14 ((AvB)^¬A)^¬B ABAvB¬A¬B(AvB)^¬A((AvB)^¬A)^¬B FFFTTFF FTTTFTF TFTFTFF TTTFFFF

15 Contingent  ((A^B)  C)  A ABCA^B (A^B)  C((A^B)  C)  A FFFFTF FFTFTF FTFFTF FTTFTF TFFFTT TFTFTT TTFTFT TTTTTT

16 ((A  B)^(¬B  C))  (¬C  A) ABC ABAB ¬B ¬B  C(A  B)^(¬B  C) ¬C ¬C  A((A  B)^(¬B  C))  (¬C  A) FFFTTFFTFT FFTTTTTFTT FTFTFTTTFF FTTTFTTFTT TFFFTFTTTT TFTTTTTFTT TTFFFTTTTT TTTTFTTFTT

17 Tautologi, Kontradiksi, atau Contingent? 1. A  (B  A) 2. (B  A)  A 3. ¬¬A  A 4. (¬A  ¬B)  (B  A) 5. (A  (B  C))  ((A  B)  (A  C)) 6. (A^(A  B))  B 7. ((A  B) ↔ (¬AvB) 8. ((A  B)^(B  C))  (A  C) 9. ((A ↔ B) ↔ ((A^B)v(¬A^¬B) 10. (B^(A  B))  A 11. ¬(Av(B^C) ↔ ((AvB)^(AvC)) 12. (¬A  ¬B)^(¬¬A  ¬B)  B

18 Buktikan..!!  Jika (Av¬A) = Tautologi, buktikan bahwa berikut ini juga tautologi 1. (A  B)v¬(A  B) 2. ¬Av¬¬A 3. ((A^C)vB)v¬((A^C)vB)

19 Buktikan tautologi..!! 1. Silogisme Hipotesis 2. Silogisme Disjungtif 3. Modus Ponens 4. Modus Tollens

20 Buat ekspresi logika..!!  Jika Badu senang, maka Siti senang, dan jika Badu sedih, maka Siti sedih. Siti tidak senang atau siti sedih. Dengan demikian, Badu tidak senang atau Badu tidak sedih.  Buktikan apakah tautologi, kontradiksi, atau contingent dengan tabel kebenaran!!

21 Negasi 1. ¬(PvQ) = ¬P^ ¬Q 2. ¬(P^Q) = ¬Pv ¬Q 3. ¬(P  Q) = ¬(¬PvQ) = P^ ¬Q 4. ¬(P ↔ Q) = ¬((P  Q)^(Q  P)) = ¬((¬PvQ)^(¬QvP)) = (P^ ¬Q)v(Qv ¬P)


Download ppt "TAUTOLOGI Evaluasi Validitas Argumen  Jika anda memahami mata kuliah logika informatika, dan Anda tidak memahami tautologi,"

Presentasi serupa


Iklan oleh Google