3. Dengan menggunakan pohon semantik, perlihatkan bahwa kalimat logika proposisional:

Berikut ini adalah pertanyaan dari cahyarahmatullah21 pada mata pelajaran TI untuk jenjang Sekolah Menengah Atas

3. Dengan menggunakan pohon semantik, perlihatkan bahwa kalimat logika proposisional: E: if (if (not P and Q) then not R) and (if not R then Q)) then (if (not P and Q) then Q) adalah valid.​

Jawaban dan Penjelasan

Berikut ini adalah pilihan jawaban terbaik dari pertanyaan diatas.

Jawaban:

Berikut ini adalah pohon semantik untuk membuktikan bahwa kalimat logika proposisional tersebut valid:

                          if E

                             / \

                            /   \

                           /     \

if (not P and Q) then not R    if not R then Q

           / \                                         |

          /   \                                        |

         /     \                                       |

     not (not P and Q)                     Q

              |

              |

             / \

            /   \

           /     \

           P     not Q

                    |

                    |

                  /  \

                 /    \

                /      \

               Q      not R

                        |

                        |

                       / \

                      /   \

                     /     \

                    R      not Q

Keterangan:

  • if E : If statement pada kalimat proposisi
  • if (not P and Q) then not R : Statement pertama pada kondisi IF
  • if not R then Q : Statement kedua pada kondisi IF
  • if (not P and Q) then Q : Statement yang akan dijalankan jika kedua kondisi pada IF bernilai True

Pada pohon semantik di atas, kita dapat mengikuti setiap cabang dari awal (If E) hingga akhir (Q) dan menunjukkan bahwa semua nilai benar (True) sehingga dapat membuktikan bahwa kalimat proposisi tersebut valid.

Semoga dengan pertanyaan yang sudah terjawab oleh BrianForest dapat membantu memudahkan mengerjakan soal, tugas dan PR sekolah kalian.

Apabila terdapat kesalahan dalam mengerjakan soal, silahkan koreksi jawaban dengan mengirimkan email ke yomemimo.com melalui halaman Contact

Last Update: Wed, 09 Aug 23