This preview shows pages 1–2. Sign up to view the full content.
University of Toronto
PHL 245 Modern Symbolic Logic
Test 2
Instructor Sorin Bangu
August 4th, 2005  LM 159
45 minutes (8:10 – 8:55 PM)
Worth 30% of the final grade.
Answer all questions. Rules provided.
Staple this page with your answers.
Write your name and st. # on every page.
St. # First name: Last name:
1
) Show that this argument is valid in SD+:
(
15
marks)
2
)
Symbolize and show that the following set of sentences is inconsistent in SD+:
(
15
marks)
If motorcycling is dangerous,
then sailboating is also dangerous, and if sailboating is dangerous
then parachuting is dangerous. Motorcycling is dangerous but parachuting is not.
3
) Show that the following is a theorem in SD:
(A
⊃
B)
⊃
[~B
⊃
15
marks)
4
) Given the symbolization key below, symbolize the following sentences in PL:
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview. Sign up
to
access the rest of the document.
 Summer '05
 bangu

Click to edit the document details