Berikut ini adalah pertanyaan dari rinidamanik117 pada mata pelajaran TI untuk jenjang Sekolah Menengah Atas
adalah valid.
Jawaban dan Penjelasan
Berikut ini adalah pilihan jawaban terbaik dari pertanyaan diatas.
Untuk membuktikan bahwa kalimat logika proposisional tersebut valid, kita dapat menggunakan pohon semantik. Berikut adalah pohon semantik yang menunjukkan validitas dari kalimat logika proposisional tersebut:
E
/ \
/ \
(if (not P and Q) then not R) (if not R then Q)
/ \ |
/ \ |
not (P and Q) not R not R Q
| | |
/ \ / |
/ \ / |
P Q R Q
Dalam pohon semantik di atas, kita menunjukkan evaluasi dari masing-masing bagian kalimat logika proposisional. Pada akhirnya, semua jalur dari akar (E) ke daun (P, Q, R) menghasilkan nilai kebenaran (True), yang berarti kalimat tersebut valid.
Dengan demikian, kita telah membuktikan validitas dari kalimat logika proposisional E menggunakan pohon semantik.
Semoga dengan pertanyaan yang sudah terjawab oleh farhanrakbagus 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: Fri, 11 Aug 23