Problem Set 2
Elementary Logic
Due: 5 December 2005
Name
Model Student
Student ID Number
email
Mark
100 %
Due
5 December 2005
by
4:00PM
.
Submit your problem set to Ms. Loletta Li in Main Building 302. (If she is
not available, go to room 312, the Philosophy department General Office.)
Make sure your problem set is timestamped. Do not submit assignments by
email. Late penalty: 10% for each day late. This problem set will not be
accepted after 9 December.
Answer the questions on the problem set itself. Write neatly. If the grader
cannot read your handwriting, you will not receive credit.
Be sure that all pages of the assignment are securely stapled together.
Check the course bulletin board for announcements about the assignment.
Do your own work. If you copy your problem set, or permit others to copy,
you may fail the course.
1
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
1. (20 marks)
True or false?
Circle ‘T’ if the statement is true.
Circle ‘F’ if the statement is false.
For this question, you may assume that
ϕ
and
ψ
are SL WFFs.
T
F
If
ϕ
is contingent, then
ϕ
may be inconsistent.
T
F
If
ϕ
and
ψ
are logically equivalent, then
ψ
entails
ϕ
.
T
F
For any SL WFF
ϕ
, there is another SL WFF
ψ
, where
ψ
is different from
ϕ
,
and
ψ
entails
ϕ
.
T
F
If
ϕ
is an inconsistent conjunction, then one of
ϕ
’s conjuncts may be a tautology.
T
F
If
X
is an inconsistent set of SL wffs, then each member of
X
is either
inconsistent or contingent.
T
F
‘
A
’ is a logical consequence of ‘(
A
∨
B
)’ and ‘
∼
B
’.
T
F
Every inconsistent SL WFF contains the connective ‘
∼
’.
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '08
 NoprofOnlinecourse
 Logic, Propositional calculus, Consistency, Firstorder logic, Metalogic

Click to edit the document details