ECM 1415 Propositional Logic (Discrete Mathematics))

Question 1

Give the truth table for p -> q

Answer 1

p q p -> q
T T T
T F F
F T T
F F T

Question 2

How does implication (->) work?

Answer 2

Both operands must be the same OR the RHS must be true

Question 3

Give the truth table for p < -> q

Answer 3

P Q (P ↔ Q)
F F T
F T F
T F F
T T T

Question 4

How does biconditional (↔) work?

Answer 4

Both operands must have the same boolean value

Question 5

tautology

Answer 5

A proposition that is always true

Question 6

Contradiction

Answer 6

A proposition that is never true

Question 7

Contigency

Answer 7

A proposition that is neither a tautology nor a contradiction

Question 8

¬p -> q is the same as what expression (1) according to which law (2)?

Answer 8

(1) p \/ q
(2) Conditional-disjunctive law