LOGIKA INFORMATIKA: PENARIKAN KESIMPULAN

Penarikan kesimpulan adalah menarik kesimpulan dari premis-premis yang ada sehingga didapatkan kesimpulan yang bernilai benar secara logika. Dalam ilmu logika informatika / logika matematika / matematika diskrit dikenal beberapa cara penarikan kesimpulan, di antaranya:

1.     Modus Ponens
2.     Modus Tollens
3.     Penambahan Dusjungsi
4.     Penyederhanaan Konjungsi
5.     Silogisme Disjungsi
6.     Silogisme Hipotesis
7.     Dilema

Berikut penjelasannya:

LOGIKA INFORMATIKA: TENTANG TAUTOLOGI, KONTRADIKSI DAN EKUIVALEN

TAUTOLOGI
Tautologi adalah pernyataan majemuk yang selalu bernilai benar.
contoh pernyataan tautologi adalah:
(p ʌ q) => q
untuk membuktikan pernyataan diatas adalah tautologi, simak tabel kebenaran untuk tautologi
(p ʌ q) => q berikut;

contoh tabel kebenaran tautologi

Logika Informatika: Mengenal Konjungsi, Disjungsi, Implikasi dan Biimplikasi

Dalam ilmu logika informatika dikenal yang namanya kalimat majemuk. Kalimat majemuk adalah sebuah kalimat yang tersusun dari dua kalimat atau lebih dan dengan menggunakan kata hubung tertentu. Ada beberapa jenis kalimat majemuk di antaranya adalah sebagai berikut;