TUGAS DASMAT : PROPOSISI KOMPOSIT

1. Buatlah table kebenaran dari proporsi di bawah ini, kemudian tentukanlan manakah yang
kontradiksi, tautologi, dan kontingensi.
a. (p∧q)→(p∨q)
b. [(p→q)∧ (q→r)]→(p→r)
2. Selidiki apakah proporsi di bawah ini implikasi logis.
a. [(p∨q)∧ p̅]→q
b. (p∧q)→(p∧q)
3. Selidiki apakah
a. (p∧q)∧r ek p∧(q∧r)
b. p↔q ek (p→q)∧ (q→p)