Extended arguments
In daily life, we usually encounter
extended arguments such as those found
in newspapers.
Our task is to sort out the arguments and
organize them in the simple form of a
flowchart
LOGIC Spring 2015
Exercise 03
I.
Fill in the truth values:
p
q
T
T
T
F
F
T
F
F
~p
(pq)
(pq)
(p v q)
(~p ~q)
~(p v ~q)
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
II.
Rewrite
Key to Exercise 12
A. For each of the following proofs state the Rule of Inference by which its
conclusion follows from its premises.
Proof No.1
1. (x)(Px~Mx)
2. (x)(SxMx)
3. Py~My
4. SyMy
5. ~My~Sy
6
LOGIC Spring 2015
Exercise 01
Try to rewrite the following arguments in premises-conclusion structure:
1. If a bear is hungry, it is not a friendly animal. Therefore, no friendly animals are
hungry be
Identity, Numerals and Definite Descriptions
A. Interpretation of the Symbol of Identity, numerals and definite descriptions
1. Identity and Its Negation
Peter is equal to David
a=b
Peter is not equal
LOGIC Spring 2015
Exercise 04
For the following paragraphs:
(a) rewrite the argument in premise(s)-conclusion structure;
(b) extract the argument form by using the symbolic notations;
(c) check the va
LOGIC Spring 2015
Exercise 06
A. Construct a truth-table for each formula and state whether the formula is
tautologous, contradictory, or contingent.
(01) ( p ~q ) ( q p )
(02) ( (p q) r ) ( ~r ( p q
LOGIC Spring 2015
Exercise 07
A. For each of the following argument state the Rule of Inference by which its
conclusion follows from its premises.
Proof 1:
Proof 2:
1.
AB
Asmp.
1.
(~M ~N) (ON)
Asmp.
2
LOGIC Spring 2015
Exercise 11
Section: _
A. Given that S exists and All S are P is true, determine whether the following
propositions are true, false or undetermined:
1. No S is P.
2. Some S are P.
3.
LOGIC Spring 2015
Exercise 10
Translate the following syllogistic arguments into standard form, and test their
validity by using Venn diagrams.
(1) Some nondrinkers are athletes, because no drinkers a
LOGIC Spring 2015
Exercise 05
For the following paragraphs:
(a) rewrite the argument in premise(s)-conclusion structure:
(b) extract the argument form by using the symbolic notations;
(c) check the va
LOGIC Spring 2015
Exercise 08
Section _
A. For each of the following argument state the Rule of Inference by which its
conclusion follows from its premises.
Proof 1:
Proof 2:
1. ZA
Asmp.
1. WX
Asmp.
2
LOGIC Spring 2015
Exercise 09
Section _
Rewrite the following syllogistic arguments into premise-conclusion structure and
check their validity by using Venn diagrams.
(1) All CD players are expensive
LOGIC Spring 2015
Exercise 12
Section: _
A. For each of the following proofs state the Rule of Inference by which its
conclusion follows from its premises.
Proof No.1
Proof No.2
1. (x)(Px~Mx) Asmp.
1.
Key to Exercise 10
Translate the following syllogistic arguments into standard form, and test their
validity by using Venn diagrams.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Key to Exercise 11
A. Given that S exists and All S are P is true, determine whether the following
propositions are true, false or undetermined:
1. No S is P.
2. Some S are P.
3. Some S are not P.
4.
1
Elements of Logic and Critical Thinking
Exercise 2
Part A
Determine whether the following statements are true (T) or false (F).
1. Some arguments are almost valid.
(
)
2. If an argument has all true
1
Elements of Logic and Critical Thinking
Exercise 1
Part A
Determine whether the following statements are true (T) or false (F).
1. The statement in an argument which is supposed to be supported by t
1
Elements of Logic and Critical Thinking
Exercise 2
Part A
Determine whether the following statements are true (T) or false (F).
1. F
2. T
3. T
4. T
5. F
6. F
7. T
8. F
9. F
10. F
11. F
12. T
13. F
1
Key to Exercise 06
I.
Fill in the truth values:
p
q
~p
(pq)
(pq)
(p v q)
(~p ~q)
~ (p v ~q)
~p q
T
T
FT
TTT
TTT
TTT
FT T FT
F T T FT
F FT
T
F
FT
TFF
TFF
TTF
FT T TF
F T T TF
F FF
F
T
TF
FTT
FFT
FTT
TF
Key to Exercise 07
A. For each of the following argument state the Rule of Inference by which its
conclusion follows from its premises.
Proof 1:
Proof 2:
1.
AB
Asmp.
1.
(~M ~N) (ON)
Asmp.
2.
A v (C D)
Key to Exercise 02
1. Can an argument have all true premises and a true conclusion and yet not be
deductively valid? ( Yes )
2. Can a deductively valid argument have false premises? ( Yes )
3. Can a d
Key to Exercise 01
Try to rewrite the following arguments in premises-conclusion structure:
1. If a bear is hungry, it is not a friendly animal. Therefore, No friendly animals are
hungry bear.
The Arg
Key to Exercises 08
A. For each of the following argument state the Rule of Inference by which its
conclusion follows from its premises.
Proof 1:
Proof 2:
1. ZA
Asmp.
1. WX
Asmp.
2. Z v A
Asmp. / A
2.
Key to Exercise 04
For the following paragraphs:
(a) rewrite the argument in standard format;
(b) extract the argument form by using the symbolic notations;
(c) test the validity of the argument form
Key to Exercise 06
A. Construct a truth-table for each formula and state whether the formula is
tautologous, contradictory, or contingent.
(01) ( p ~q ) ( q p )
p
q
( p ~q ) ( q p )
T
T
T T FT T T T T
Key to Exercise 05
For the following paragraphs:
(a) rewrite the argument in premise(s)-conclusion structure;
(b) extract the argument form by using the symbolic notations;
(c) check the validity of t
Key to Exercise 09
Rewrite the following syllogistic arguments into premise-conclusion structure and
check their validity by using Venn diagrams.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
LOGIC Spring 2015
Exercise 02
1. Can an argument have all true premises and a true conclusion and yet not be
deductively valid?
2. Can a deductively valid argument have false premises?
3. Can a deduct
Appendix
1.
Rules of Inference
1.
3.
5.
Modus Ponens (M.P.)
2.
Modus Tollens (M.T.)
pq
pq
p
q
q
p
(H.S.)
4.
(D.S.)
pq
pq
qr
p
p r
q
(C.D.)
6.
Absorption (Abs.)
(p q) (r s)
pq
pr
p (p q)
q s
7.