|ihope||The first four are... propositional logic, propositional calculus, predicate logic or predicate calculus. I don't know which.|
|thermoplyae||Implication took a lot of effort, but everything else was easy after (but probably not because of) that|
|theoros||well let's hope i get the grades and end up learning this stuff at cambridge, i suppose|
|ihope||Material implication does seem weird indeed.|
According to material implication, if I'm in New York, then I'm in Mexico.
|theoros||ihope: i'm curious - how?|
|thermoplyae||"F => a" is true|
He's not in New York
|ihope||theoros: if I'm not in Mexico, I'm not in New York. That's true because I'm not in New York.|
Now, lemme try to think up... something.
|excelblue||new york is in mexico? guess like they won the war|
|ihope||Intuitionistic logic or whatever it's called often seems better.|
Lemme think, here...