Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Tautology
Implications, Equivalence
SYMBOLS CORRESPONDING ENGLISH WORDS
~ ¬ Not
And
Symbolic
• ^
Logic ν or
⇒⊃→ If …. then
⇔≡↔ If and only if , iff
TAUTOLOGY
A tautology is a compound
proposition that is always true
regardless of the truth values of
the individual propositions.
CONTRADICTION
A contradiction is a compound
proposition that is always false.
IMPLICATION
A conditional statement that is tautology.
P : She loves me
~ P : She loves me not
P ~ P P^~ P
T F F
F T F
Which of the following logical symbol represents tautology?
a. P V Q b. P V ~ P c. ~ ( P ^ Q )
P ~ P PV~ P
P Q PVQ T F T
T T T F T T
T F T Tautology
F T T P ~ P P^~ P
F F F T F F
Not a tautology F T F
Contradiction
OR (V) The resulting sentence is true if either
or both sentence are true. And (^ ) is only true when both p and q are true
John is at the movies AND John is at the store.
Logical Equivalence
Definition:
• denoted as P ≡ Q
Determine if two statements are logically
equivalent
~ (P ν Q ) , ~P^~Q
~ (P ν Q ) , ~ P ^ ~ Q
P Q P ν Q ~ (P ν Q) P ~P Q ~ Q ~P ^ ~ Q
T T T F T F T F F
T F T F T F F T F
F T T F F T T F F
F F F T F T F T T
Therefore
~ (P ν Q ) ≡ ~ P ^ ~ Q
How to test logical equivalency?
1. TRUTH-TABLE METHOD. Make a truth table for both sentences to be
tested, if they have the same truth values at all rows, then they are logically
equivalent. Otherwise they are not.
2. RULES OF LOGICAL EQUIVALENCY RULES:
1. Double negation: ¬¬ P ⇔ P
2. De Morgan Rules: ¬ (P ∧ Q) ⇔ ¬ P ∨ ¬ Q ¬ (P ∨ Q) ⇔ ¬ P ∧ ¬ Q
Negation normal form: “¬” only applies to atomic sentences.
5. Association rules: (P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)
P ∨ (Q ∨ R) ⇔ (P ∨ Q) ∨ R
6. Distribution rules: P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R)
CONDITIONAL STATEMENT
A conditional statement is a statement that can be
written in if-then form.
CONDITIONAL : If P then Q P→Q
CONVERSE : If Q then P Q→P
BICONDITIONAL : P↔Q
Writing a Biconditional:
• To write a biconditional, first determine if the what is the
converse of the following true conditional. If the converse is true
then write a biconditional statement
– Conditional: If the sum of the measure of two angles is 180, then the
two angles are supplementary
•Biconditional:
Statement:
If an angle is right then it has a measure of 90.
Converse:
If an angle measures 90, then it is a right angle.
Biconditional:
An angle is right if and only if it measures 90.
Let’s Try !
• What is the converse of the following conditional, if the converse is true
write a biconditional statement