This preview shows pages 1–4. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 1¾###«########²###0#t#t#y#z#z#C:\WORD\NORMAL.STY################################### ###############HP4#####{#@#)¸Ð##= #x#t###y#µ#Exam 1 PHILOS 250 Name:_________________________ WI'94 Jeff Koperski 8:30 9:30 Mary Ellen Smircich 7:30 8:30 I. Truthtables. Only the major operator's column is required. (40 pts.) I (1) a) Complete following truthtable. ( A B ³ ~B É {[(A v B) É ~(~B É A)] · [(A º ~A) v B]} ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ T T ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ T F ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ F T ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ F F ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ (b) Circle one. The sentence is a: Tautology Contradiction Contingency ( (c) If this conditional were the corresponding conditional to a deductive argument, what can we conclude about that argument? w Answer:_______________________ A (2) Consider these three sentences: ( ~(A · B) A · (B º ~B) ~(A v ~B) É ~(~B É A) ~ A B ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ T T ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ T F ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ F T ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ F F ³ ÄÄÄÄÄÄÄÅÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ a) These sentences are: Consistent Inconsistent a b) What can we conclude about the following argument? (circle one) ~(A v ~B) É ~(~B É A) Nothing Sound A · (B º ~B) ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ Valid Invalid /\ ~(A · B) II. Proofs. Prove that the following arguments are valid. IMPORTANT: Only use Klenk's eight rules of inference for (3) and (4). You may use Klenk's replacement rules as well for (5) and (6). (15 points/proof) (3) (E v F) É (G · H), (G v H) É I, E /\ I ( (4) F É ~G, ~F É (H É ~G), (~Iÿvÿ~H)ÿÉ ~~G, ~I /\ ~H (5) M É ~C, ~C É ~A, DÿvÿA /\ ~M v D ( (6)(M É N) · (O É P), ~N v ~P, ~(Mÿ·ÿO) É Q /\ Q ÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜÜ&###ˆ ###v#q###t#&###o#Ò###j#ð###h#ò###b#ó###\#õ###X#ö###R#÷###N#ø###J#ÜÜÜÜÜÜÜÜ#6 [email protected][email protected][email protected]..
View
Full
Document
This note was uploaded on 07/06/2010 for the course PHIL 123 taught by Professor Nichols during the Winter '08 term at Saginaw Valley.
 Winter '08
 Nichols
 Philosophy

Click to edit the document details