Tunjukkan untuk setiap pernyataan berikut merupakan tautologi :

b. ~q ∧ (p→q) → ~p => false

c. ~p ∧ (p ∨ q) → q => false

d. p → (q → p ∧ q) => false

e. p ∧ q → p => true

f. p → p ∨ q => true

g. (p→q) ∧ (q→r) → (p→r) => true

h. (p ∧ q → r) → (p → (q → r)) => true

i. (p → (q → r)) → (p ∧ q → r) => true

j. (p → q ∧ ~q) → ~p => false

k. (p → q) → (p ∨ r → q ∨ r) => true

l. (p → q) → (p ∧ r → q ∧ r) => true

m. (p→q) → (q→r) → (p→r) => true

n. (p↔q) ∧ (q↔r) → (p↔r) => true

Itu pernyataan-pernyataan tersebut cuma beberapa yang benar sebagai Tautologi. Pernyataan b, c, d, j, l adalah salah sbg Tautologi.