first symbolic exercises kareem khalifa department of philosophy middlebury college p v q
TRANSCRIPT
![Page 1: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/1.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/2.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/3.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/4.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/5.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/6.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/7.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/8.jpg)
Exercise C4
• ~B & P
• ~T & P
• F & P
• F
![Page 9: First Symbolic Exercises Kareem Khalifa Department of Philosophy Middlebury College P v Q](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/9.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/10.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/11.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/12.jpg)
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](https://reader035.vdocuments.us/reader035/viewer/2022072010/56649db25503460f94aa1140/html5/thumbnails/13.jpg)
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)]