Professional Documents
Culture Documents
Modern or Mathematical Logic
Modern or Mathematical Logic
Deductive Reasoning
2 objectives:
2. Compound Statement
- A statement that contains two or more statements as components
Example: Manila is the capital of the Philippines and Tokyo is the capital of Japan.
“component”
NOT A COMPONENT
CONJUNCTION
It is a truth-functional connective meaning “and,” symbolized by the dot, •.
A statement of the form p • q is true if and only if p is true and q is true.
Conjunct - Each one of the component statements connected in a conjunctive
statement
Dot - The symbol for conjunction, •, meaning “and.”
Truth value - The status of any statement as true or false (T or F).
Truth-functional component - Any component of a compound statement whose
replacement there by any other statement having the same truth value would leave
the truth value of the compound statement unchanged.
Truth-functional compound statement - A compound statement whose truth value is
determined wholly by the truth values of its components.
Truth-functional connective - Any logical connective (e.g., conjunction, disjunction,
material implication and material equivalence) between the components of a truth
functionally compound statement.
Truth table - An array on which all possible truth values of compound statements are
displayed, through the display of all possible combinations of the truth values of their
simple components. A truth table may be used to define truth-functional connectives;
it may also be used to test the validity of many deductive arguments.
EXAMPLE
Manila is the capital of the Philippines and Tokyo is the capital of China.
Manila is the capital of the Philippines and Tokyo is the capital of China.
p•q
T•F
F
TRUTH TABLE (CONJUNCTION)
Charlie is neat and Charlie is sweet.
-N•S
Example:
Iran raises the price of oil but Libya does not raise the price of oil.
2. NEGATION
-It pertains to denial
2 TYPES OF DISJUNCTION:
1. INCLUSIVE DISJUNCTION OR WEAK DISJUNCTION
2. EXCLUSIVE DISJUNCTION OR STRONG DISJUNCTION
INCLUSIVE VS EXCLUSIVE
INCLUSIVE EXCLUSIVE
A compound statement asserting inclusive A compound statement asserting exclusive
disjunction is true when at least one of the disjunction says that at least one of the
disjuncts (that is, one or both) is true. Normally disjuncts is true and that at least one of the
called simply “disjunction,” it is also called disjuncts is false.
“weak disjunction” and is symbolized by the
wedge, v.
The statement “Rome is the capital of Italy v Rome is the capital of Spain”
is a true statement.
DISJUNCTIVE SYLLOGISM
P1: The blind prisoner has a red hat or the blind prisoner
has a white hat.
P1: The blind prisoner has a red hat or the blind prisoner
has a white hat.
(DISJUNCTION)
P2: The blind prisoner does not have a red hat.
(NEGATION OF THE 1ST DISJUNCT)
C: Therefore, the blind prisoner has a white hat.
(CONCLUSION IS THE SECOND DISJUNCT)
D. PUNCTUATIONS
2 * 3 + 5=11
Or
2 * 3 + 5= 16
4. PUNCTUTATIONS
The parentheses, brackets, and braces used in mathematics and logic to eliminate
ambiguity.
It could mean:
“I will study hard and pass the exam or I will fail the exam”
or
“I will study hard and I will either pass the exam or fail it.”
4. PUNCTUTATIONS
The parentheses, brackets, and braces used in mathematics and logic to eliminate
ambiguity.
“I will study hard and pass the exam or fail”
S•PvF
It could mean:
“I will study hard and pass the exam or I will fail the exam”
(S • P) v F
or
“I will study hard and I will either pass the exam or fail it.”
S • (P v F).
Negation of the Disjunction:
-often formed by use of the phrase “neither–nor.”
And
And
~ (J • D)
And
~ (J) • ~ (D)
The truth value of any compound statement constructed from simple statements
using only the curl and the truth-functional connectives—dot and wedge—is
completely determined by the truth or falsehood of its component simple statements.
~ [~ (A • X) • (Y v ~ B)]
~ [~ (T• F) • (F v ~ T)]
~ [~ (F) • (F v F)]
~ [T• F]
~F
T
TRUE
Other examples…
1. “(Paris is the capital of France v ~Rome is the capital of
Spain) v ~(~Paris is the capital of France •~Rome is the
capital of Spain)
(T v ~F) v ~(~T•~F)
(T v T) v ~(F•T)
T v ~F
TvT
T
TRUE STATEMENT
“Either
Iran raises the price of oil and Egypt’s food
shortage worsens, or it is not the case both that
Jordan requests more U.S. aid and that Saudi
Arabia buys five hundred more warplanes”