Flowchart Pac-Man
Tautologi, Kontradisi, Kontigensi dan Ekuivalen
Logika Informatika Tautologi, Kontradisi, Kontigensi, Ekuival Tautologi Tautologi adalah proporsi majemuk yang selalu bernilai benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan implikasi disebut implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan . Cara pertama dengan mengunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika. Contoh : “ Jika Ayah pergi kerja, maka ibu juga pergi kerja. Jika kaka tidur, maka ibu ibu pergi kerja. Dengan demukian, jika Ayah pergi kuliah atau kaka tidur, maka ibu pergi kerja.” A : Ayah pergi kerja B : ibu pergi kerja C : kaka tidur Dapat ditulis: ((A→B) ^(C→B))→((AvC)→ B Kontradiksi Contoh kalimat : ...
Komentar
Posting Komentar