Test2PracticeQuestions - PHL 245 S L0101 (2001): Modern...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
PHL 245 S L0101 (2001): Modern Symbolic Logic – Test 2 (Practice) Questions. Note: This document is merely intended to be a useful study aid for Test 2. The kinds of questions in this document are not the only kinds of questions that may be asked on the test. Doing this practice test is no substitute for regular attendance in class and doing the assigned homework. The actual test may not resemble this document in every respect. Part I: SD+ Derivation Show in SD+ that the following sentences are inconsistent: (B D) & (~B ~A) A (~B (D & O))
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
PHL 245 S L0101 (2001): Modern Symbolic Logic – Test 2 (Practice) Questions. Part II Symbolizations in PL : Symbolize the following, using the UD provided: UD: Unrestricted Tx : x is a time Rxy: x is a professor of y Px: x is a person Oxy: x is older than y Lxyz: x learns from y at z a: Adam Sx: x is a student b: Betty Fxy: x is a friend of y (1) No-one is a friend of everyone.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/28/2009 for the course PHL 245 taught by Professor Bangu during the Summer '05 term at University of Toronto- Toronto.

Page1 / 6

Test2PracticeQuestions - PHL 245 S L0101 (2001): Modern...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online