Truth Tables and Truth Statements Statements
Conditional Statements
A conditional statement generally follows the form: P to Q (if P, then Q).
Converse
The converse of a conditional statement is formed by reversing the original pairs.
In this case, the converse of P to Q becomes R to ¬Q (not Q).
Definition: If the statement is "If P then Q", the converse is "If Q then P".
Inverse
The inverse of a conditional statement is constructed by negating both the hypothesis and the conclusion.
Therefore, the inverse of the conditional statement becomes ¬P to ¬Q.
More specifically, negating ¬Q gives just Q, and negating R results in ¬R.
Example: If our original statement is "If R then ¬Q", the inverse would be ¬R to Q.
Understanding Negation
Negation principle: Negating a negation leads to the original value. For instance:
If you have ¬(¬P), it simplifies to P.
Explanation: This property can be likened to negative numbers where a negative of a negative becomes positive.
Contrapositive
The contrapositive of a conditional statement involves negating both components and reversing them.
For the provided conditional (R to ¬Q), the contrapositive becomes ¬R to Q.
Important Note: The contrapositive always has the same truth value as the original conditional statement.
Summary of Types
Original Statement: P to Q
Converse: Q to P
Inverse: ¬P to ¬Q
Contrapositive: ¬Q to ¬P
Topic 3.6: Negation of Conditional Statements
In the discussion of negation in conditional statements, one examines the nature of reversing truth values.
The statement P and ¬P covers aspects of oscillating truth conditions.
Key Concept: The negation of the conditional statement is interpreted as the opposite of what the original statement asserts.
For example, if the conditional is True, its negation would declare it as False, and vice versa.