Calxsolver
Subject:  Finite Math

Truth table: (p → q) ↔ (¬q → ¬p)

Build a truth table to verify that a conditional and its contrapositive are equivalent.

Answer Tautology — always true.

Solution

  1. Expression (p -> q) = (!q -> !p)
  2. Variables p, q
  3. Header p | q | (p -> q) = (!q -> !p)
  4. Row F | F | T
  5. Row F | T | T
  6. Row T | F | T
  7. Row T | T | T
  8. Classification Tautology — always true.

Try a similar problem yourself

Use the Truth Table Generator to solve a similar problem with your own values.

Open the solver

More Finite Math problems

Compound interest on $1000 at 5% for 10 years Find the future value with monthly compounding. Simple interest on $1000 at 5% for 3 years Find the interest and final amount with the I = Prt formula. Monthly payment on a $200,000 mortgage at 5% for 30 years Find the level payment and total interest on an amortized loan. Steady state of a two-state Markov chain Iterate the distribution and solve for the steady-state vector. Maximise 5x + 4y subject to linear constraints Solve a two-variable linear program by the graphical method.