Professional Documents
Culture Documents
Truth Values
SYMBOLIC LOGIC
Definition
SYMBOLIC LOGIC
Examples
SYMBOLIC LOGIC
Non-Examples
SYMBOLIC LOGIC
Exercises
*Decide whether the following are propositions or
not:
1. 23 = z
2. 10 – 7 = 3
3. 5 < 27
4. All women are mammals.
5. Where do you live?
SYMBOLIC LOGIC
Definition
SYMBOLIC LOGIC
Definition
SYMBOLIC LOGIC
These new proposition are:
Truth Tables
1 0
0 1
SYMBOLIC LOGIC
Inclusive and exclusive disjunction:
SYMBOLIC LOGIC
Definition
SYMBOLIC LOGIC
Definition
Given the implication , its converse is , its inverse is, and its
contrapositive is .
1
0
1
1
SYMBOLIC LOGIC
Definition
SYMBOLIC LOGIC
Do Activities 3 & 4
Definition
SYMBOLIC LOGIC
Definition
or
SYMBOLIC LOGIC
Example
P⟹Q
1 1 1
1 1 1
0 0 0
1 0 1
SYMBOLIC LOGIC
Example
Q ⋁ ¬P ¬P ⋀ ¬Q,
1 1 1 1 1
1 0 1 1 0
0 1 0 0 0
0 0 1 1 0
SYMBOLIC LOGIC
The following are logical identities or rules of replacement.
SYMBOLIC LOGIC
SYMBOLIC LOGIC
12. Exportation ((P ʌ Q) ⟹ R) ⟺ (P ⟹ (Q ⟹ R))
SYMBOLIC LOGIC
SYMBOLIC LOGIC
Example
Solution
SYMBOLIC LOGIC
Example
Solution
SYMBOLIC LOGIC
Do Activity 5
SYMBOLIC LOGIC
Definition
Classification of Arguments:
1. Inductive argument is an argument where it is claimed
that within a certain probability of error, the conclusion
follows from a premise; and
2. Deductive argument is an argument where is it claimed
that the conclusion absolutely follows from the premise.
SYMBOLIC LOGIC
A deductive argument is said to be valid if whenever
the premises are all true, then the conclusion is also
true. In other words if are premises and Q is the
conclusion of the argument therefore Q is valid if and
only if the corresponding propositional form
⋀ ⋀,
SYMBOLIC LOGIC
To show that an argument is invalid, we have to show
an instance where the conclusion is false and the
premises are all true.
SYMBOLIC LOGIC
To show the validity of arguments, we may use
the truth table. However, this method is
impractical specially if the argument contains
several propositional variables. A more
convenient method is by deducing the
conclusion from the premises by a sequence of
shorter, more elementary arguments known to
be valid.
SYMBOLIC LOGIC
Rules of Inference
These are known valid argument forms.
SYMBOLIC LOGIC
SYMBOLIC LOGIC
SYMBOLIC LOGIC
SYMBOLIC LOGIC
Construct a formal proof of validity of the following
arguments:
SYMBOLIC LOGIC
Solution for (a):
J: Jack is in Paris.
M: Mary is in New York.
F: Fred Is in Rome.
1. J ⟹ M (premise)
2. J ⋀ F (premise)
3. J (2. Simp)
4. M (1, 3. MP)
SYMBOLIC LOGIC
Solution for (b):
M: Mark is correct.
U: Unemployment will rise.
A: Ann is correct.
H: There will be a hard winter.
1. (M ⟹ U) ⋀ (A ⟹ H) (premise)
2. A (premise)
3. (A ⟹ H) ⋀ (M ⟹ U) (1. Comm)
4. A ⟹ H (3. Simp)
5. H (4, 2. MP)
6. H ⋁ U (5. Add)
7. U ⋁ H (6. Comm)
SYMBOLIC LOGIC
Alternative Solution for (b):
M: Mark is correct.
U: Unemployment will rise.
A: Ann is correct.
H: There will be a hard winter.
1. (M ⟹ U) ⋀ (A ⟹ H) (premise)
2. A (premise)
3. A ⋁ M (2. Add)
4. M ⋁ A (3. Comm)
5. U ⋁ H (1, 4. CD)
SYMBOLIC LOGIC