CPT114

Classical Logic GKH

UNIVERSITI SAINS MALAYSIA

School of Computer Sciences

Session 2016/2017, Semester I
CPT114: Logic and Applications
Classical Logic
Tutorial 5
A. Fill in the blanks.
1. In a categorical syllogism, the three terms
________________ of the constituent propositions.

each

occur

in

exactly

2. The _________________ of a standard form syllogism are named after the terms
that appear in them.
3. In a standard form syllogism, the _______________ premise is stated first.
4. The mood of a syllogism does not completely characterize its form. To do that,
you must also state its ______________________ .
5. The __________ of a syllogism is completely independent of its subject matter.
6. When using Venn diagrams, it is important to diagram the ___________ premise
first.
7. If either premise is negative, then the conclusion must be __________.
8. There are only ______________ valid forms of the categorical syllogism.
9. A valid syllogism must contain exactly ____________ terms, each of which is
used in the same sense.
10. A syllogism is a ______________ argument in which a conclusion is inferred
from two premises.
11. A categorical syllogism is in standard form when its propositions appear in
the following order (i) __________________, (ii) _________________ and (iii)
___________________.

CPT114
Classical Logic GKH

12. In a categorical syllogism, there are 64 possible different ____________________

.

B. Explain each of the following terms.

1. Major Term/Major Premise
2. Minor Term/Minor Premise
3. Middle term
4. Figure of a syllogism
5. Rules to check the validity of a syllogism. (Also state its fallacy if rule is
violated)
C. Indicate a) whether the following arguments are valid or invalid and
b) State the reason if the argument is invalid.
1.

All Canadians are people.

John is a person.
John is Canadian.

2.

Some Lifeissues.net readers are philosophers.

Sean is a philosopher.
Sean is a Lifeissues.net reader.

3.

No man is perfect
Some men are presidents.
Some presidents are not perfect.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>