Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Course Outline
I. Fundamental concepts in logic
1. Reasoning and inference
2. Deductive argument
3. Inductive reasoning and fallacy
4. Proof, logical consequence and consistency
II. Formal logic
5. Formal languages
6. Propositional calculi
7. Principles of deduction
8. Proof procedures and strategies
9. Conditional proof
III. Semantic techniques
10. Interpreting propositional calculi
11. Truth-functions
12. Argument forms and arguments
13. Proving invalidity using truth tables
IV. Quantification theory
14. Predicate logic
15. Quantification
16. Quantification rules
17. Syllogisms and beyond
18. First-order semantics
19. Models for invalidity
V. Advanced topics
20. Relations
21. Identity
22. Truth trees
VI. Logic, mathematics and philosophy
References:
Copi, Irving et al. Introduction to Logic.
Copi, Irving. Symbolic Logic.
De Villa et al. Lohika at Pangangatwiran.
Hodges, Wilfrid. Logic.
Hurley, Patrick. A Concise Introduction to Logic.
1
Logic puzzles
1. On a certain train, the crew consists of the brakeman, the fireman and the engineer. Their names listed
alphabetically are Jones, Robinson, and Smith. On the train are also three passengers with corresponding
names, Mr. Jones, Mr. Robinson, and Mr. Smith. The following facts are known:
a. Mr. Robinson lives in Detroit.
b. The brakeman lives halfway between Detroit and Chicago.
c. Mr. Jones earns exactly $20,000 a year.
d. Smith once beat the fireman at billiards.
e. The brakemans next-door neighbor, one of the three passengers mentioned, earns exactly three
times as much as the brakeman.
f. The passenger living in Chicago has the same name as the brakeman.
What was the engineers name?
2. Five couples were married last week, each on a different weekday. From the information provided,
determine the woman (one is Cathy) and man (one is Paul) who make up each couple, as well as the day on
which each couple was married.
a. Anne was married on Monday, but not to Wally.
b. Stans wedding was on Wednesday.
c. Rob was married on Friday, but not to Ida.
d. Vern (who married Fran) was married the day after Eve.
3. Of three prisoners in a certain jail, one had normal vision, the second had only one eye, and the third was
totally blind. The jailor told the prisoners that, from three white hats and two red hats, he would select
three and put them on the prisoners heads. None could see what color hat he wore. The jailor offered
freedom to the prisoner with normal vision if he could tell what color hat he wore. To prevent a lucky
guess, the jailor threatened execution for any incorrect answer. The first prisoner could not tell what hat he
wore. Next the jailor made the same offer to the one-eyed prisoner. The second prisoner could not tell
what hat he wore either. The jailor did not bother making the offer to the blind prisoner, but he agreed to
extend the same terms to that prisoner when he made the request. The blind prisoner said:
I do not need to have my sight;
From what my friends with eyes have said,
I clearly see my hat is _____!
How did he know?
Sudoku
6 3
2 5 8
7
2
5
1
6 4
8 2
3
1
I G
D
E A
C
8
G A B
I
E
9
8 7
5
4
7 6
D
A
F
H
C
F D G
D C
F
E H
2
Exercises in Logic
Argument analysis
1. On the average, one out of every 2 billion people is killed by a falling meteor. I am confident, therefore,
that I will not be killed by a falling meteor.
2. Kohlrabi must be nutritious because it is a vegetable and most vegetables are nutritious.
3. Andoni is an old man. Very few old men fly hang gliders. Therefore, Andoni does not fly hang gliders.
4. Either Peter loves carrots or he is not a rabbit. Peter is a rabbit. Therefore, Peter loves carrots.
5. The plane would not have crashed into the sea if Superman were real. But the plane did crash into the
sea killing all its passengers. Therefore, Superman is not real.
6. There has never been any human casualty caused by falling debris from man-made satellites plunging
back to the earth. Therefore, when a Russian satellite plunges back to earth next week, there will be no
human casualties.
7. Though many people have passed the threshold of death, none has ever returned to tell about it. It is
unlikely then, that anyone ever will.
8. My father was born in China, yours in France. So we cant be brothers.
9. Roger is running swiftly. Therefore, Roger is running.
10. Youll get wet if you go out. Its raining.
11. Geraniums are not frost hardy. There are frequent frosts in Iceland. So geraniums are not native to
Iceland.
12. Oil reserves are finite. Accordingly, since consumption is continuing at a rapid rate, eventually the
world will run out of oil.
13. There are more people than hairs on any one persons head. Therefore, two people have the same
number of hairs on their heads.
14. Backward time travel will never be developed and used extensively by human beings at any time in the
future. For if it were to be, then travelers from the future would be likely to visit our own time and times
already past. But since such visits should be readily detectable and since we have no evidence of them, we
can only conclude that the dont occur.
15. Since most people sleep about a third of the time and people on different parts of the earth sleep at
different times, at any given moment someone is asleep.
Fallacies
1. The ether really exists; as a matter of fact, no one has definitely shown that it does not.
2. Everyone believes that Orestes killed Aegisthus. Therefore, he must be guilty.
3. The Golden Rule is basic to every system of ethics ever devised, and everyone accepts it in some form or
other. It is therefore an undeniably sound moral principle.
4. Exercise is excellent for health. Therefore, Kumar, who has a serious heart ailment ought to take more
exercise.
5. Studies show that during exams, students generally perform better under pressure. Therefore, they ought
to be put under pressure all the time so that they will be better and more efficient.
6. Rock music must be better than classical music, since so many more stations play rock music.
7. Last night, I met the most beautiful man I ever saw. I believe that he is an angel because he told me so;
and an angel would never lie.
8. God exists because the Bible tells us so. I know that the Bible is true because it is Gods word.
9. Wife: Have you resolved to lead a straight life this year? Husband: Yes. Wife: So you now admit
that you were hiding things behind my back last year!
10. We should legalize gambling because we cant stop it. It is an integral part of living; a man gambles
every time he crosses a street or takes a wife.
11. What is natural is good; but to make mistakes is natural. Therefore, to make mistakes is good.
12. Teenager: But why cant I be allowed to go in? Sure it says Children of members under 18 are not
allowed, but my father is already 40 years old!
13. There is not a single cell in me that is more than seven years old. Therefore, Im not more than seven
years old.
14. Cooks have been preparing food for generations, so our cook must be a real expert.
15. The force of gravitation is nothing but a small deviation from no force at all, becoming appreciable
only when huge quantities of matter are involved. Suppose a ball were made of all the gold that has been
mined in the world, say 30,000 tons; and the ball would be about 46 feet in diameter. If it were placed in
space, away from other attracting forces, a 200 pound man sitting on it would weigh the equivalent of
1/1000 of an ounce on the earth. A cricket could easily lift him and a frog could kick him completely away
from the ball of gold. Since men are not usually so easily diverted from gold we may conclude, in the
manner of Aesop, that the force of avarice greatly exceeds that of gravitation.
Logical structure of compound propositions
1. Cadmium is toxic but zinc is not.
2. Both nickel and cobalt are ferromagnetic.
3. It is not the case that both aluminum and magnesium burn in air.
4. Aluminum and magnesium both do not burn in air.
5. Either platinum or aluminum does not dissolve in hydrochloric acid.
6. Neither platinum nor aluminum dissolves in hydrochloric acid.
7. Either sodium reacts with chlorine and potassium reacts with iodine or calcium reacts with bromine.
8. Zirconium does not absorb neutrons unless cadmium does.
9. Either copper or sulfur is a good conductor of electricity, but it is not the case that both of them are.
10. Lithium reacts violently with water if sodium does.
11. Lithium reacts violently with water if and only if sodium does.
12. Lithium reacts violently with water only if sodium does.
13. Galliums having a low melting point implies that indium and thallium do, too.
14. That osmium absorbs hydrogen is a sufficient condition for iridium to do so.
15. That osmium absorbs hydrogen is a necessary condition for iridium to do so.
16. If actinium is radioactive, then if thorium is, so is protactinium.
17. Kung sosobra ang kumakalat na pera, siyempre tataas ang bilihin.
18. Siguradong iiwas ang mga investor kung tutuloy na magkakagulo sa rehiyon.
19. Mayroong demokrasya kung ganoon din at ganoon lamang na mayroong malayang karapatang bumoto.
20. If he uses good bait, then he catches the legal limit provided the fish are biting. He uses good bait and
catches the legal limit. Therefore, the fish are biting.
21. We will have a gale unless the wind changes direction. The wind will change direction only if the
anticyclone moves further south. Indeed, the anticyclone will move further south. Therefore, we will have
a gale.
22. If the anti-terrorism bill becomes law, then we will lose some of our freedoms. Martial law will be
declared only if terrorists go unpunished. Neither will the anti-terrorism bill become law nor will martial
law be declared. Therefore, it is not both the case that we will lose some of our freedoms and terrorists will
go unpunished.
2. A e B
A
|BvC
3. A e B
(B e C) v (C e A)
|Ae C
4. (A e B) v (C e D)
A
|BvD
5. A v (B e A)
~A v C
| ~B
6. A v B
(A v C) e D
|Av D
7. A e B
BeC
De E
AvD
|CvE
8. (A v B) e C
(C v B) e [A e (D / E)]
Av D
|D/ E
9. A e B
~C e (D e E)
C v (A v D)
~C
|BvE
10. A e ~B
~A e (C e ~B)
(~D v ~C) e ~~B
~D
| ~C
11. (A e B) v (C e D)
(B e E) v (D e F)
A
|EvF
12. (A v B) e (C v D)
(C v D) e E
A
|E
13. (A e B) v (C e D)
EeF
(A v E) v (C v G)
|BvF
15. A e B
BvC
(C v ~A) e (D v ~A)
~B
|D
16. (A v B) e C
(C v D) e E
DvA
~D
|E
2. P
|Qe P
3. P e (Q e R)
| Q e (P e R)
4. P e (Q v R)
|PeQ
5. P e Q
| P e (Q v R)
6. P e Q
| (P v R) e Q
7. (P v Q) e R
|PeR
8. P e Q
Pe R
| P e (Q v R)
9. P e Q
ReQ
| (P v R) e Q
10. P e Q
PvQ
|Q
11. (P v Q) e ~R
R
| ~P
12. P v (Q v R)
R v ~P
|R
13. (P v Q) v R
~P v ~Q
|R
14. P / Q
Q/ R
|P/R
15. (P v Q) e (R v S)
~R
| ~P
16. (P v ~Q) e R
~(Q v R)
| ~P
17. P e Q
~P e R
~Q e ~R
|Q
18. P e (Q v R)
R e (S v T)
~S
|PeQ
19. (P e ~Q) e R
~(P v Q)
| R v ~Q
20. (~P e Q) v (R e Q)
~(~R v P)
|Q
21. ~~P e Q
~P e R
S e ~R
Sv T
|Q
23. P / (Q v R)
~R
|P/Q
25. P / Q
Q / (R v S)
R / (P v S)
PvS
|PvS
26. P e Q
Q e [P e (R v S)]
R/S
~(R v S)
| ~P
27. (P e Q) v (Q e R)
(R e S) v (S e T)
~T
[~(Q v T) e U] v (U e P)
|R
28. (P e Q) e (R / S)
(T e ~U) e (Q / ~U)
{[(Te ~U)v(V/W)]v (RvS)} e [(V/ W)e (Pe Q)]
(T e ~U) v (V / W)
RvS
| (Q / ~U) v (R / S)
Conditional proof
1. P e Q
(Q v R) e S
|PeS
2. P e Q
(R e Q) e S
|PeS
3. P e ~Q
~(R v ~P)
| R e ~Q
4. (~P e Q) e R
(R v S) e T
|PeT
5. P e (Q v R)
S e (Q v T)
| (P v S) e Q
6. P v (Q v ~R)
(P v Q) e (S v ~R)
|ReS
7. ~P
| (P v Q) e R
8. P e ~(P v Q)
|PeR
9. (P v Q) e ~R
R v (S v T)
P/ Q
|PeS
10. P e (Q e R)
Q e (R e S)
| P e (Q e S)
11. P e Q
| (R v P) e (Q v R)
12. P
| (Q e R) e [(R e S) e (Q e S)]
13. P e (~Q e R)
Q v (R e S)
| P e (~Q e S)
14. (P v Q) / R
Pe Q
|P/R
15. (P e Q) e (R e S)
(~T v ~U) e (S e V)
(P e T) v (T e P)
~(~T e U)
|ReV
16. P e Q
~Q
~P e R
ReS
|SvT
17. P e (Q v R)
S e (R v T)
~R
| ~(Q v T) e ~(P v S)
18. P e (Q e R)
(P e ~Q) e (S v R)
~R
|S
19. P e Q
Q e [(R e ~~R) e S]
|PeS
20. (P e Q) v (R e S)
(Q v S) e {[T e (T v U)] e (P v R)}
|P/R
21. P v (Q e R)
[Q e (Q v R)] e (S v T)
(S e P) v (T e U)
|PvU
23. | P e (Q e P)
24. | (P e Q) e [P e (P v Q)]
Proving invalidity
1. P
|PeQ
2. P e Q
~P
| ~Q
3. P e Q
Qe R
|ReP
4. P e (Q e R)
Q e (R e S)
|PeS
5. P v Q
QvR
|PvR
6. P / Q
Qe R
|PvR
7. P e (Q e R)
Pv R
|Q
8. (P e Q) v (R e S)
~(Q v S)
| ~(P v S)
9. (P v Q) e R
PvQ
|R
10. P / (Q v R)
~P
| ~R
11. P e Q
Qe R
~R v (~S v P)
|S
12. (P e Q) v (R e ~S)
(~P v ~R) e (T v U)
~Q v U
| T e ~R
13. (~P e Q) v R
(R e Q) v ~Q
| ~(Q e P)
15. (P v Q) e R
R e (Q v S)
P e (~T e Q)
(T e P) e ~S
|Q/ R
16. P v (Q v R)
(P v Q) v (S / ~T)
(S e ~T) e (T v ~U)
(U e V) v (V e T)
(Q e R) e V
|V
Propositional arguments
1. If we receive radio signals from outer space, then extraterrestrial beings exist. We do not receive such
signals. Therefore, extraterrestrials do not exist.
2. Godzilla will destroy Tokyo unless he makes it to New York. Godzilla makes it to New York.
Therefore, Godzilla will not destroy Tokyo.
3. If the Pampanga Dragons win at Bacolod they will win the National Championship. Therefore if the
Pampanga Dragons win at Bacolod, then if they continue to rebound well then they will win the National
Championship.
4. This creature is warm-blooded if and only if it is either a mammal or a bird. But it is clearly not a
mammal. So it must be a warm-blooded bird.
5. Only if the burglars were sophisticated professionals could they have successfully dismantled the alarm
system. Hence they were not sophisticated professionals, for they were unable to dismantle it.
6. If CJ studies, she receives good grades. If CJ does not study, then she enjoys college. If CJ does not
receive good grades, then she does not enjoy college. Thus, CJ received good grades.
7. He has to play to win or play clean, but he cannot do both. His conscience will be easy if he plays clean.
If he plays to win and his conscience is uneasy, he will be a miserable man. He will play to win. So he
will be a miserable man.
8. If either wages or prices are raised, there will be inflation. If there is inflation, then either Congress must
regulate it or people will suffer. If the people suffer, Congressmen will be unpopular. Congress will not
regulate inflation, and Congressmen will not be unpopular. Therefore, wages will not rise.
9. Either he has his old car repaired or he buys a new car. If he has his old car repaired, then he will owe a
lot of money to the garage. If he owes a lot of money to the garage, then he will not soon be out of debt. If
he buys a new car, then he must borrow money from the bank, and if he must borrow money from the bank,
then he will not soon be out of debt. Either he will soon be out of debt or his creditors will force him into
bankruptcy. Therefore, his creditors will force him into bankruptcy.
10. If God were willing to prevent evil but unable to do so, he would be impotent. If he were able to
prevent evil but unwilling to do so, he would be malevolent. Evil can exist only if God is either unwilling
or unable to prevent it. There is evil. If God exists, he is neither impotent nor malevolent. Therefore God
does not exist.
11. The rain in Spain slows down the train as it crosses the plain. The main train in Spain never crosses
the plain if the engineer develops a pain from the falling rain. If the engineer does not develop a pain from
the falling rain, then either he gets a pain from Lady Jane or the rain in Spain does not slow down the train
as it crosses the plain. It follows that the main train in Spain crosses the plain if and only if the engineer
does not get a pain from Lady Jane.
12. Dust particles from Mt. Pinatubos eruption encircled the earths atmosphere. Therefore, either global
temperatures will go down or they will not.
13. Kapag uuwi si Rico, siguradong tuloy ang lakad sa Coron kung ganoon din at ganoon lamang na
walang masyadong aasikasuhin dito. Kung alinman sa uuwi si Emer o si Ricia, siguradong uuwi si Rico.
Uuwi si Ricia at wala namang masyadong aasikasuhin dito. Samakatwid, matutuloy ang lakad sa Coron.
14. Maayos ang takbo ng negosyo kung ganoon din at ganoon lamang na malaki ang kita nito. Alinman sa
bagsak ang dolyares o malaki ang kita ng negosyo. Kung bagsak ang dolyares, walang order ang
natatanggap. Maraming order na natatanggap. Samakatwid, hindi maayos ang takbo ng negosyo.
15. May utang si Ka Mando. Walang ani ngayong tag-init at delikado ang ani sa tag-ulan dahil sa La
Nia. Kung alinman sa walang ani ngayong tag-init o tataas ang halaga ng pataba, siguradong sasama ang
lagay ng kooperatiba. Kung alinman sa sasama ang lagay ng kooperatiba o magkakagalit ang mga kasapi
ng sangguniang baranggay, siguradong magtatago si Ka Mando. Samakatwid, parehong hindi totoong may
utang o magtatago si Ka Mando.
10
9. Ang mga makata ay malikhain. Ang ibang makata ay mga intelektwal. Samakatwid, may mga
intelektwal na malikhain.
10. Ang mayayaman lamang ang may kotse. Hindi lahat ng may kotse ay marunong magmaneho. Kung
gayon, may mayayamang hindi marunong magmaneho.
11. Acids and bases are chemicals. Vinegar is an acid. Therefore, vinegar is a chemical.
12. Tigers are fierce and dangerous. Some tigers are beautiful. Therefore, some dangerous things are
beautiful.
13. Teachers are either enthusiastic or unsuccessful. Teachers are not all unsuccessful. Therefore, there
are enthusiastic teachers.
14. A communist is either a fool or a knave. Fools are naive. Not all communists are naive. Therefore,
some communists are knaves.
15. Bananas and grapes are fruits. Fruits and vegetables are nourishing. Therefore, bananas are
nourishing.
16. All professors are learned. All learned professors are savants. Therefore, all professors are learned
savants.
17. Argon compounds and sodium compounds are either oily or volatile. Not all sodium compounds are
oily. Therefore, some sodium compounds are volatile.
18. No employee who is either slovenly or discourteous can be promoted. Therefore, no discourteous
employee can be promoted.
19. Bees and wasps sting if they are angry or frightened. Therefore, any bee stings if it is angry.
20. A woman without a husband is unhappy unless she has a boyfriend. Daphne is a happy woman.
Therefore, either she is not without a husband or she has a boyfriend.
Invalidity
1. All revolutionaries are brave. All heroes are brave. Therefore, all revolutionaries are heroes.
2. All mercenaries are undependable. No guerillas are mercenaries. Therefore, no guerillas are
undependable.
3. All generals are handsome. Some intellectuals are handsome. Therefore, some generals are intellectuals.
4. All collies are affectionate. Some collies are watchdogs. Therefore, all watchdogs are affectionate.
5. Some malcontents are noisy. Some officials are not noisy. Therefore, no officials are malcontents.
6. Some physicians are quacks. Some quacks are not responsible. Therefore, some physicians are not
responsible.
7. If anything is metallic, then it is breakable. There are breakable ornaments. Therefore, there are
metallic ornaments.
8. All zebras wear stripes, and all prisoners wear stripes; therefore some zebras are prisoners.
9. Some philosophers are mathematicians. Russell is a philosopher. Hence, Russell is a mathematician.
10. Some lovely things are little things, for some puppies are little things and most puppies are lovely
things.
Relational propositions
1. Achilles is the father of Neoptolemus.
2. The Parthenon is taller than the Acropolis.
3. Aeschylus wrote Agamemnon.
4. Apollo unrequitedly loves Daphne.
5. Medea is a friend of either Creon or Aegeus.
6. Laches knows everything.
7. Laches knows something.
11
12
2. P e (Q e R)
Pv R
|Q
13
3. A v (B e A)
~A v C
| ~B
4. A e B
BeC
De E
AvD
|CvE
5. P e (Q e R)
| Q e (P e R)
6. A e B
~C e (D e E)
C v (A v D)
~C
|BvE
7. (A v B) e C
(C v D) e E
DvA
~D
|E
8. P e Q
Qe R
~R v (~S v P)
|S
9. (A v B) e C
(C v B) e [A e (D / E)]
Av D
|D/ E
10. P e (Q v R)
R e (S v T)
~S
|PeQ
11. (P v Q) e (R v S)
~P e (T e ~T)
~R
| ~T
12. (P v Q) e R
R e (Q v S)
P e (~T e Q)
(T e P) e ~S
|Q/ R
13. P e Q
Q e [P e (R v S)]
R/S
~(R v S)
| ~P
14. P
| (Q e R) e [(R e S) e (Q e S)]
15. | P e (Q e P)
16. | (P e Q) e [P e (P v Q)]
C
F
A
B
I
E
H
D
G
H
D
B
G
F
A
I
C
E
A
C
D
I
G
B
E
F
H
B
H
E
D
A
F
C
G
I
I
G
F
E
H
C
A
B
D
G
E
H
A
B
D
F
I
C
F
A
I
H
C
G
D
E
B
D
B
C
F
E
I
G
H
A
14
Principles of logic
Rules of inference
1. Modus Ponens (MP): p e q, p | q
2. Modus Tollens (MT): p e q, ~q | ~p
3. Disjunctive Syllogism (DS): p v q, ~p | q
4. Simplification (Simp): p v q | p
5. Conjunction (Conj): p, q | p v q
6. Hypothetical Syllogism (HS): p e q, q e r | p e r
7. Addition (Add): p | p v q
8. Constructive Dilemma (CD): (p e q) v (r e s), p v r | q v s
Replacement
9. Double Negation (DN): p / ~~p
10. De Morgans Theorem (DM): ~(p v q) / (~p v ~q) and ~(p v q) / (~p v ~q)
11. Commutation (Com): (p v q) / (q v p) and (p v q) / (q v p)
12. Association (Assoc): [p v (q v r)] / [(p v q) v r] and [p v (q v r)] / [(p v q) v r]
13. Distribution (Dist): [p v (q v r)] / [(p v q) v (p v r)] and [p v (q v r)] / [(p v q) v (p v r)]
14. Transposition (Trans): (p e q) / (~q e ~p)
15. Implication (Impl): (p e q) / (~p v q)
16. Exportation (Exp): [(p v q) e r] / [p e (q e r)]
17. Tautology (Taut): p / (p v p) and p / (p v p)
18. Equivalence (Equiv): (p / q) / [(p e q) v (q e p)] and (p / q) / [(p v q) v (~p v ~q)]
Conditional proof (Conditional introduction)
19. If P | Q, then | P e Q.
Quantification rules
20. Equivalences: (x)Nx / ~(x)~N x and (x)Nx / ~( x)~Nx
21. Universal Instantiation (UI): ( x)(Nx) | N< , (where < is any individual symbol)
22. Universal Generalization (UG): N y | ( x)(Nx), (where (1) y is not a constant, (2) y is not
free in a line obtained by EI, (3) y is not free in an assumed premise within whose scope Ny)
23. Existential Instantiation (EI): (x)(N x) | N<, (where < does not occur free previously in the
proof)
24. Existential Generalization (EG): N< | ( x)(Nx)
Identity
25. The rule of identity: N x, x = y (or y = x) | N y, where x and y are any individual constants or
individual variables, and where Ny results from N x by the replacement of one or more free
occurrences of x by free occurrences of y.
Alternative formulation: N x, ~Ny | ~(x = y)
15
Truth-tables
P
~P
Pv Q
PvQ
PeQ
P/Q
Truth-trees:
AeB
~A
~(A e B)
AvB
~(A v B)
~B
~~A
A
AvB
~(A v B)
A
B
~A
~B
~(A / B)
A
~B
~A
B
(x)N
9
R
A
B
A
~B
~A
A/B
~A
~B
9
R
~( x)N
(x)~ N
~( x)N
(x)~ N
D = E (or E = D)
9
R
17