![Page 1: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/1.jpg)
Dimara Kusuma HakimFitria Ekowati
![Page 2: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/2.jpg)
1. Valid selalu bernilai true
2. Satisfiable bisa bernilai true
3. Contradiction selalu bernilai false
![Page 3: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/3.jpg)
Suatu kalimat f disebut valid, jika untuk setiap interpretasi I untuk f, maka f true
Contoh : P or not P Jika P bernilai true, maka kalimat itu bernilai trueJika P bernilai false, maka kalimat itu juga bernilai true
Contoh lain :• (P and Q) if and only if (Q and P)• (P and (if R then Q)) if only if ((if R then Q) and P)• (P or Q) or not (P or Q)• (if P then not Q) if and only if not (P and Q)
BUKTIKAN DENGAN “TABEL KEBENARAN” !!!
![Page 4: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/4.jpg)
Suatu sentence f disebut satisfiable, jika untuk suatu interpretasi I untuk f, maka f true
Contoh : P or QJika P atau Q bernilai true, maka kalimat bernilai trueJika P true, Q true. Maka kalimat bernilai false
Contoh lain :• If (if P then Q) then Q• (if P then Q) or (R and S)• (if P then Q) or R
BUKTIKAN DENGAN “TABEL KEBENARAN” !!!
![Page 5: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/5.jpg)
Suatu sentence f disebut kontradiksi, jika untuk setiap interpretasi I untuk f, maka f false
Contoh : P and not PJika P true, maka kalimat bernilai falseJika P false, maka kalimat bernilai false
Contoh lain :• ((P or Q) and not R) if and only if ((if P then R) and (if Q then R)
BUKTIKAN DENGAN “TABEL KEBENARAN” !!!
![Page 6: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/6.jpg)
1. not (P and (not P)) or Q2. if P then Q) or (if Q then P)3. (not Q) or not[if P then (not Q) and P}4. (if P then (not Q) if and only if not (P and
Q)5. [if (P or Q) then R] if and only if [(if P then
R) and6. (if Q then R)]7. [P if and only if (Q if and only if R)] if and
only if8. [(P if and only if Q) if and only if R]9. [if P then Q and R else (not Q) and S] if and
only if [if Q then P and R else (not P) and S]
![Page 7: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/7.jpg)
![Page 8: Logika & Algoritma Implementasi Dengan SQL - Bagian 3 - Sifat-sifat Kalimat Logika](https://reader035.vdocuments.pub/reader035/viewer/2022081412/544899fab1af9f363d8b4d47/html5/thumbnails/8.jpg)
Terdapat suatu kalimat : P and Qmaka ditulis f : P and Q
P diberi nilai True, Q diberi nilai False. Pemberian nilai ini disebut Interpretasi.Jadi ditulis : suatu Interpretasi I terhadap f berikut iniI: { Ptrue ; Q false }