Solve any maths problem

Equations, derivatives, integrals, matrices, triangles, primes, statistics, or a word problem the tutor breaks into parts.

Discrete-Math · Propositional-Logic

Truth table of ((p -> q) and (q -> r)) -> (p -> r)

Step by step

  1. \left(\left(p \Rightarrow q\right) \wedge \left(q \Rightarrow r\right)\right) \Rightarrow \left(p \Rightarrow r\right)

    3 variable(s) → 8 rows. Fill in every combination.

  2. \

    A tautology (always true).

Reveal the answer
\left(\left(p \Rightarrow q\right) \wedge \left(q \Rightarrow r\right)\right) \Rightarrow \left(p \Rightarrow r\right)