first symbolic exercises kareem khalifa department of philosophy middlebury college p v q

13
First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Upload: thomasine-burns

Post on 23-Dec-2015

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

First Symbolic Exercises

Kareem Khalifa

Department of Philosophy

Middlebury College

P v Q

Page 2: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise A2

• ~(London is the capital of England & Stockholm is the capital of Norway)

• ~(T & F)

• ~(F)

• T

Page 3: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise A8

• (Paris is the capital of France & Rome is the capital of Spain) v (Paris is the capital of France & ~Rome is the capital of Spain)

• (T & F) v (T & ~F)

• (F) v (T & T)

• (F) v (T)

• T

Page 4: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Lesson of this exercise

• Sometimes you can save time in ascertaining the truth of a statement by looking at half of it.

• (Paris is the capital of France & Rome is the capital of Spain) v (Paris is the capital of France & ~Rome is the capital of Spain)

• This is true, so the whole thing is true

Page 5: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise A14

• ~[~(~London is the capital of England & Rome is the capital of Spain) & ~(Rome is the capital of Spain & ~Rome is the capital of Spain)]

• ~[~(~T & F) & ~(F& ~F)]• ~[~(F & F) & ~(F& T)]• ~[~(F) & ~(F)]• ~[ T & T ]• ~[T]• F

Page 6: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise A21

• ~[~(Rome is the capital of Spain & Stockholm is the capital of Norway) v ~(~Paris is the capital of France v ~Rome is the capital of Spain)]

• ~[~(F & F) v ~(~T v ~F)]• ~[~(F) v ~(F v T)]• ~[ T v ~(T)]• ~[ T v F]• ~[T]• F

Page 7: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise A24

• ~[(~Rome is the capital of Spain v Stockholm is the capital of Norway) & ~(~Stockholm is the capital of Norway v Paris is the capital of France)]

• ~[(~F v F) & ~(~F v T)]• ~[(T v F) & ~(T v T)]• ~[(T) & ~(T)]• ~[(T) & F]• ~[F]• T

Page 8: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise C4

• ~B & P

• ~T & P

• F & P

• F

Page 9: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise C11

• (P v Q) & ~(Q v P)• If the whole statement is true, then (P v Q) is

true.• If (P v Q) is true, then either P or Q must be true.• Let P = T.

– (T v Q) & ~(Q v T)– T & ~(T)– T & F– F

• So the whole statement must be false.

•Let Q = T. •(P v T) & ~(T v P)•T & ~(T)•T & F•F

Page 10: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise C24

• ~[~P v (~Q v A)] v [~(~P v Q) v (~P v A)]

• ~[~P v (~Q v T)] v [~(~P v Q) v (~P v T)]

• ~[~P v (T)] v [~(~P v Q) v (T)]

• ~[T] v [(T)]

• F v T

• T

Page 11: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise D2

• Either Iran or Libya raises the price of oil.

• I v L

Page 12: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise D8

• Either Saudi Arabia buys five hundred more warplanes and Iran raises the price of oil or Jordan requests more U.S. aid.

• (S & I) v J

Page 13: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q

Exercise D22

• Saudi Arabia buys five hundred more warplanes, and either Jordan requests more U.S. aid or both Libya and Iran raise the price of oil.

• S & [J v (L & I)]