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