Logika 2

Pernyataan majemuk disebut tautologi jika …

• Selalu bernilai salah untuk semua kemungkinan nilai proposisi tunggalnya

• Kadang benar dan kadang salah

• Selalu bernilai benar untuk semua kemungkinan nilai proposisi tunggalnya

• Bernilai benar hanya jika semua proposisi tunggal salah

Manakah di bawah ini yang merupakan kontradiksi?

• p∨¬p

• p∧¬p

• ¬p

• p→p

Perhatikan pernyataan berikut:
“p∨¬p”
Pernyataan tersebut termasuk jenis …

• Tautologi

• Kontradiksi

• Kontingen (kadang benar, kadang salah)

• Premis tidak valid

Pernyataan majemuk “p→q” bukan tautologi dan bukan kontradiksi jika …

• Selalu bernilai benar

• Selalu bernilai salah

• Kadang bernilai benar, kadang bernilai salah

• Tidak memiliki tabel kebenaran

Dari pilihan berikut, manakah yang paling mungkin menjadi tautologi setelah disusun tabel kebenarannya?

• p∧q

• (p∧q)→p

• p∧¬p

• p∨q