Tugas 3 - Logika ISIP4211
Tugas 3 - Logika ISIP4211
2. Buatlah masing-masing satu contoh silogisme beraturan Sub-Pre, Bis-Pre, Bis-Sub, dan Pre-Sub!
Jawaban :
Jawaban : Tautologi adalah ekspresi logika dari pernyataan majemuk yang selalu bernilai benar. Apapun
nilai kebenaran proposisi tunggalnya, ekspresi logika yang merupakan tautologi akan selau
menghasilkan nilai benar. Proposisi mejemuk yang termasuk dalam tautologi dapat secara mudah
dilihat melalui tabel kebenaran yang semuanya bernilai Benar (B).
Sebagai contoh nilai kebenaran dari ekspresi logika (p ∧ q) → (p → q), diperoleh bentuk
tautologi seperti yang ditunjukkan pada tabel di bawah.