1 / 14

SIFAT-SIFAT KALIMAT

SIFAT-SIFAT KALIMAT. Materi 4, LOGIKA FORMAL DASAR. SISTEMATIKA. Beberapa definisi Tabel Kebenaran Pohon semantik. BEBERAPA DEFINISI. Kalimat Fdisebut kalimat valid atau tautologi jika bernilai true untuk setiap interpretasi yang mungkin bagi F

rozalia
Download Presentation

SIFAT-SIFAT KALIMAT

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SIFAT-SIFAT KALIMAT Materi 4, LOGIKA FORMAL DASAR

  2. SISTEMATIKA • Beberapa definisi • Tabel Kebenaran • Pohon semantik sifat kalimat - LFD - 2007

  3. BEBERAPA DEFINISI Kalimat Fdisebut kalimat valid atau tautologi jika bernilai true untuk setiap interpretasi yang mungkin bagi F Kalimat Fdisebut dapat dipenuhi (satisfiable) jika ada interpretasi yang membuat F true Kalimat Fdisebut tak dapat dipenuhi (unsatisfiable/ contradictory) jika bernilai false untuk semua interpretasi Kalimat F mengimplikasikan G jika pada semua interpretasi jika F true maka G juga true Kalimat F dan G ekivalen jika pada setiap interpretasi nilai kebenaran F dan G selalu sama F1, F2,… konsisten jika ada interpretasi di mana setiap Fi true sifat kalimat - LFD - 2007

  4. PENGUJIAN SIFAT KALIMAT • Terdapat beberapa cara pengujian sifat-sifat kalimat : • Tabel kebenaran • Pohon semantik sifat kalimat - LFD - 2007

  5. TABEL KEBENARAN • Harus memeriksa semua kemungkinan interpretasi • Sederhana tetapi lama sifat kalimat - LFD - 2007

  6. CONTOH TAUTOLOGI sifat kalimat - LFD - 2007

  7. CONTOH MENGIMPLIKASIKAN sifat kalimat - LFD - 2007

  8. CONTOH KONSISTEN sifat kalimat - LFD - 2007

  9. POHON SEMANTIK • Pohon biner • Setiap level merepresentasikan setiap variabel • Setiap daun berisi nilai kebenaran kalimat • Kiri = T, kanan = F • Bisa menguji sifat valid, dapat dipenuhi atau tidak dapat dipenuhi sifat kalimat - LFD - 2007

  10. CONTOH POHON • P QP Karena QT = T, maka anak kiri = T dan anak kanan juga T sehingga kalimat di atas valid P T T sifat kalimat - LFD - 2007

  11. PENGUJIAN 2 KALIMAT • Untuk menguji apakah F mengimplikasikan G dengan pohon semantik : uji apakah F  G valid • Untuk menguji apakah F dan G ekivalen dengan pohon semantik : uji apakah (F  G)  (G  F) valid • Untuk menguji apakah F1, F2, …, Fn konsisten dengan pohon semantik : uji apakah F1  F2  …  Fn dapat dipenuhi sifat kalimat - LFD - 2007

  12. IMPLIKASI DAN VALIDITAS • F mengimplikasikan G jikka F  G valid • Jika F mengimplikasikan G maka jika F valid maka F juga valid sifat kalimat - LFD - 2007

  13. EKIVALENSI DAN VALIDITAS • F dan G ekivalen jikka (F  G)  (G  F) valid • Jika F dan G ekivalen maka F valid jikka G valid sifat kalimat - LFD - 2007

  14. RANTAI EKIVALENSI • Jika F dan G ekivalen dan G dan H juga ekivalen maka F dan H ekivalen sifat kalimat - LFD - 2007

More Related