Professional Documents
Culture Documents
27 Jan 2017
(i) If Mozart (a) was Austrian (Px) and a genius (Qx), then there
are some Austrian geniuses.
(iii) Mozart was Austrian and a genius, but there are no Austrian
geniuses.
(Pa^Qa)&Vx(Px-Qx) A
Vx(Px-Qx)
P
Q TI,1
Vx(Px) Ex(Px) A
Vx(Px) A (Cannot assume the whole thing, just
the first part)
Pa US,2
Ex(Px) EG,3
[For a if then statement, assume the first part and do a conditional proof
the latter part. For this statement, which isnt an if then, use reduction
ad absurdium]
Vx(Px)&-Ex(-Px&Qx)
1. VxPx&Ex(-Px&Qx) A
2. VxPx TI,1
3. Pa US,2
4. Ex(-Pa&Qa) TI,1
5. Pa ES,4
6. Pa&-Pa ES,4
7. [VxPx&Ex(-Px&Qx)}(Pa^-Pa) CP1-6
8. [VxPx&Ex(-Px&Qx)] Ti,7 (Reductio ad absurdium)
Logically false
A2:
Why if a sentence entails something that is false validly, then the
sentence must be false.
True premises and a false conclusion means that it is invalid.
(ii) {If all logicians are smart then no logician is slow (Rx); Some logicians
are slow but there are no non-smart logicians}
non-smart logicians mean that if you are a logician you are smart for the
highlighted bits below: Trying to get a contradiction so trying to force it
look the same, which is why you must change the highlighted bits.