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... |