Professional Documents
Culture Documents
3/20/2013 1
Consistency
In logic, two statements are said to be
“consistent” if it is possible that both are true.
For example:
John is 16.
John is a musician.
3/20/2013 2
Inconsistency
Two statements are “inconsistent” if it is not
possible that both are true.
For example:
John is exactly 16.
John is exactly 21
3/20/2013 3
Implication
In logic, a statement P is said to
“imply” a statement Q if the
following is the case:
If P is true, then Q must be true.
For example:
P: Ann is 30 years old.
Q: Ann is older than 21.
P implies Q in this case.
3/20/2013 4
Equivalence
In logic, one statement P is
“equivalent to” a statement Q if and
only if the following is the case:
P implies Q and also Q implies P.
In other words:
If P is true then Q is true and if Q is
true then P is true.
3/20/2013 5
For example
P: Ann is taller than Joe.
Q: Joe is shorter than Ann.
3/20/2013 6
Necessary Truth
In logic a statement is said to be “necessarily
true” if it is not possible that it is false.
Examples:
All squares have four sides.
All bachelors are male.
If Ann is taller than Bob, and Bob is taller than
Charles, then Ann is taller than Charles.
3/20/2013 7
Necessary Falsehood
In logic a statement is said to be
“necessarily false” if it is not possible that
it is true.
For example:
Some squares have six sides.
Some triangles have nine sides.
Jan is 16 and it is not the case that Jan
is 16.
3/20/2013 8
Contingency
A statement is “contingent” if it is not necessary, in other words, it is
neither necessarily true nor necessarily false. Thus a statement is
contingent if and only if it is possible that it is true and it is also
possible that it is false.
3/20/2013 9
Ideals
Examine many sides of a controversial
issue before making your mind up; don’t
just study or listen to one side.
3/20/2013 10