class 5 Flashcards
p v q’ is true in three possible worlds
p + q
not p + q
p + not q
The only excluded world is not p + not q
p → q is true in three worlds
p + q
not p + q
not p + not q
The only excluded world is p + not q
DISJUNCTIVE SYLLOGISM explanation
Premise 1 = ‘Juliette is blonde or longhaired’
Three possibilities/worlds:
* A. blonde + longhaired
* B. blonde + not longhaired
* C. not blonde + longhaired
Premise 2 = ‘Juliette is not longhaired’
We know we are in the world B:
Conclusion = Juliette is blonde
DISJUNCTIVE SYLLOGISM formula
p v q , –|p |-q
MODUS PONENS explanation
Premise 1 = ‘If you drink so much you have an accident’
* A. drink + accident
* B. not drink + accident
* C. not drink + not accident
Premise 2 = ‘you drank a lot’
* The only possible case is the world A
* Conclusion = You have an accident
MODUS PONENS formula
p –> q, p|- q
MODUS TOLLENS formula
p –> q, –|q |- –|p
MODUS TOLLENS explanation
- If Juliette is German, then she’s European
* A. German + European
* B. not German + European
* C. not German + not European - Juliette is not European
The only possible world is C:
Conclusion: Juliette is not German
Hypothetic syllogism formula
p –> q, q –> r |- p –> r
Negation of →
–| p –> q |- p ^ –| q
De Morgan laws (DeM) 1 explanation
“It is not true that I killed my wife and put the corpse in the fridge” =
I did not kill my wife or I did not put the corpse in the fridge
De Morgan laws (DeM) 1 formula
–| (p ^ q) |- –|p v –|q
De Morgan laws (DeM) 2 explanation
“It is not true that I killed my wife or put the corpse in the fridge” =
I did no kill my wife and I did not put the corpse in the fridge
De Morgan laws (DeM) 2 formula
–| (p v q) |- –|p ^ –|q
Constructive dilemma:
You resist temptations, or you don’t resist
If you resist, you are unhappy, because you don’t satisfy your wishes
if you do not resist, you’re unhappy, because you ruin yourself
So in any case you are unhappy
p v q, p –> r, q –> r |- r
in any case of this dichotomy, the result is r
general DeM
v becomes ^ and vice versa, extend the negation to both terms