Tentukan kalimat bagian dari kalimat berikut ini: F: (if (P and Q) then (Q and R)) or ((Q or not S) and P)
Kalimat bagian dari kalimat logika tersebut adalah:
1. "P and Q"
2. "Q and R" 3. "Q or not S" 4. "P"
2. Apakah interpretasi I: {P¬true, Q¬false, R¬true} merupakan interpretasi untuk kalimat F?
Jelaskan!
Untuk mengecek apakah interpretasi I: {P¬true, Q¬false, R¬true} merupakan interpretasi
untuk kalimat F, kita harus mengevaluasi nilai kebenaran kalimat F dengan menggunakan interpretasi tersebut.
Dari interpretasi I, kita memiliki nilai kebenaran sebagai berikut:
P adalah false (¬true)
Q adalah false (¬false) R adalah true
Mari kita evaluasi nilai kebenaran dari kalimat F menggunakan interpretasi I:
F: (if (P and Q) then (Q and R)) or ((Q or not S) and P)
Langkah pertama adalah mengevaluasi setiap bagian dari kalimat F:
1. Bagian pertama dari F: (P and Q)
o Dalam interpretasi I: (false and false) = false 2. Bagian kedua dari F: (Q and R) o Dalam interpretasi I: (false and true) = false 3. Bagian ketiga dari F: (Q or not S) o Dalam interpretasi I: (false or not S) o Karena Q adalah false dan S adalah true (¬true), maka not S adalah false. o Sehingga, (false or false) = false 4. Bagian keempat dari F: (Q or not S) and P o Dalam interpretasi I: (false and P) = false
Setelah menggabungkan hasil evaluasi setiap bagian, kita mendapatkan:
Bagian pertama dari F: false
Bagian kedua dari F: false Bagian ketiga dari F: false Bagian keempat dari F: false
Kemudian, kita perlu mengevaluasi nilai keseluruhan dari kalimat F:
F: (false or false) or (false and false) = false or false = false
Jadi, nilai kebenaran kalimat F dengan interpretasi I adalah false. Oleh karena itu, interpretasi I: {P¬true, Q¬false, R¬true} bukanlah interpretasi yang valid untuk kalimat F.