03:00 How many of these rules are there in total? Are there some rules for dealing with "for all" and "there exists" too? And how about the concept of "discharging" assumptions? 20:11 But this requires the law of excluded middle to be true, right? But what if it isn't, and we can't get from ~(~A) to A?
BEST...♥
03:00 How many of these rules are there in total? Are there some rules for dealing with "for all" and "there exists" too?
And how about the concept of "discharging" assumptions?
20:11 But this requires the law of excluded middle to be true, right? But what if it isn't, and we can't get from ~(~A) to A?
thanks for this, I was really confused with the assumptions but you made them really intuitive.
if you want more listeners, use a simple court case, paint a real world picture, witnesses, etc.
Good one with the court cases! :)
Another good idea would be to show how to solve some logic puzzles from Smullyan's books ;)
Good video better than the kind of online teaching I have been getting.