Problem Set 1
Elementary Logic
Due: 18 February 2009
Name
Student ID Number
email
Mark
%
Due
18 February 2009
by
4:00PM
.
Submit your problem set to Ms. Loletta Li in Main Building 312. 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 20 February.
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 Document1. (15 marks)
True or false?
Circle ‘T’ if the statement is true.
Circle ‘F’ if the statement is false.
For this question, you should assume that
ϕ
is a WFF of SL.
T
F
The main connective of “
∼
(
A
∼
B
T
F
Whenever “(
A
→
B
)” is true, “(
A
↔
B
)” is also true.
T
F
“The red wheelbarrow” is a statement.
T
F
Some WFF of SL contains exactly 16845 symbols.
T
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '08
 NoprofOnlinecourse
 Logic, Valid argument, wff, Logical connective

Click to edit the document details