.Using the laws of logic to prove tautologies. Use the laws of propositional logic to prove that each statement is a tautology. (a) (p ∧ q) → (p ∨ r) (b) p → (r → p)

Question

contestada

Respuesta :

dfbustos dfbustos · Answer 1 · 2020-01-25T12:53:27+01:00

Answer:

See explanation below.

Explanation:

If the statement is a tautology is true for all the possible combinations and we can check this with the table of truth for the statements

Part a

[tex] (p \land q) \Rightarrow (p \lor r)[/tex] lets call this condition (1)

[tex] (p \land q)[/tex] condition (2) and [tex](p \lor r)[/tex] condition (3)

We can create a table like this one:

p q r (2) (3) (1)

T T T T T T

T T F T T T

T F T F T T

T F F F T T

F T T F T T

F T F F F T

F F T F T T

F F F F F T

So as we can see we have a tautology since for all the possibilites we got true the final result.

Part b

[tex] p \Rightarrow (r \Rightarrow p)[/tex] let's call this condition (1)

And let [tex] (r \Rightarrow p)[/tex] condition (2)

We can create the following table:

p r (2) (1)

T T T T

T F T T

F T F T

F F T T

So is also a tautology since the statement is true for all the possibilities or combinations.