Untuk menjawab pertanyaan ini, pertama-tama kita perlu membangun pohon semantik untuk

kalimat asli

↔
/ \
→ ∨
/ \ / \
false ∨ P Q
/ \
¬ P
\
Q

Sekarang, kita perlu mengevaluasi apakah kalimat tersebut benar dengan melihat apakah
kedua sisi dari kalimat yang terhubung oleh "if and only if" memiliki nilai kebenaran yang
sama. Dengan melihat pohon semantik, kita dapat mengidentifikasi bahwa nilai kebenaran
untuk kalimat kiri adalah (P ∨ Q), sedangkan nilai kebenaran untuk kalimat kanan adalah (P ∨
Q) juga. Oleh karena itu, kedua sisi kalimat terhubung oleh "if and only if" memiliki nilai
kebenaran yang sama, dan kalimat tersebut valid.

Jadi, jawaban saya adalah: Ya, kalimat tersebut valid dengan menggunakan pohon semantik.

Sources

- BMP MSIM 4103 Logika Informatika