Ringkasan Isi Modul
Ringkasan Isi Modul
Pohon semantik memeriksa penetapan nilai secara bertahap. Cabang boleh dihentikan ketika nilai kalimat sudah pasti. Hasilnya dipakai untuk mengenali validitas, satisfiabilitas, kontradiksi, konsekuensi logis, ekuivalensi, dan konsistensi.