Truth Table

• It shows all the possible truth values of a given proportion?

  Truth Table
• The truth value p is FALSE ONLY if -p is true?

  P -P

  T F

  F T

  Negation
• In this the proposition is true if and only if both statements are true.

  P Q P^Q

  T T T

  T F F

  F T F

  F F F?

  Conjunction
• In this proposition is false if and only if both statements are BOTH FALSE.

  P Q PvQ

  T T T

  T F T

  F T T

  F F F?

  Disjunction
• In this proposition is false if and only if P (hypothesis) is TRUE and Q (conclusion) is FALSE.

  P Q P -> Q

  T T T

  T F F

  F T T

  F F T?

  Implication
• This conditional statement is the negated conditional statement.

  P Q -P -> -Q

  T T T

  T F T

  F T F

  F F T?

  Inverse Statement
• This conditional statemen is the compound proposition "if Q then P".

  P Q Q ->P

  T T T

  T F T

  F T F

  F F T?

  Converse Statement
• This conditional statement is the compound proposition "if not Q then not P".

  P Q -Q -> -P

  T T T

  T F F

  F T T

  F T T?

  Contrapositive Statement
• In this proposition it is true whenever P and Q have the SAME TRUTH VALUE.

  P Q P<->Q

  T T T

  T F F

  F T F

  F F T?

  Biconditional
• This is a nature of proposition that is always true for all possible truth values of its propositional variables. ?

  Tautology
• This nature of proposition is always false for all possible truth values of its propositional variables. ?

  Contradiction
• This nature of proposition that is neither a tautology nor a contradiction. Contains both T (true) and F (false).?

  Contingency
• This happens when two compound propositions or statements are said to be logically equivalent if both have the same truth value for all possible combinations of truth values?

  Logically Equivalent Statements