# MATH 318 Mathematical Logic

## Summary

Subject | Semester |
---|---|

## List of tautologies |
Fall 2011 |

## HTSEFP: Propositional logic |
Fall 2011 |

## HTSEFP: Relations and lattices |
Fall 2011 |

## HTSEFP: Predicate logic |
Fall 2011 |

## HTSEFP: Model theory |
Fall 2011 |

## HTSEFP: Peano arithmetic |
Fall 2011 |

## HTSEFP: Prenex normal form |
Fall 2011 |

## HTSEFP: Set theory |
Fall 2011 |

## Lecture notes

Subject | Semester |
---|---|

## Friday, September 2, 2011Introduction to propositional logic |
Fall 2011 |

## Wednesday, September 7, 2011More propositional logic |
Fall 2011 |

## Friday, September 9, 2011Propositional arguments and normal forms |
Fall 2011 |

## Monday, September 12, 2011Introduction to relations |
Fall 2011 |

## Wednesday, September 14, 2011Relations continued |
Fall 2011 |

## Friday, September 16, 2011Orders and lattices |
Fall 2011 |

## Monday, September 19, 2011Properties of lattices |
Fall 2011 |

## Wednesday, September 21, 2011Facts about distributivity |
Fall 2011 |

## Friday, September 23, 2011Atoms and complements |
Fall 2011 |

## Monday, September 26, 2011Introduction to predicate logic |
Fall 2011 |

## Wednesday, September 28, 2011Signatures and predicate logic |
Fall 2011 |

## Friday, September 30, 2011The rules of formal logic |
Fall 2011 |

## Monday, October 3, 2011Some example proofs and more quantifier rules |
Fall 2011 |

## Wednesday, October 5, 2011Existential rules and more example proofs |
Fall 2011 |

## Friday, October 7, 2011Logical theorems and more proofs |
Fall 2011 |

## Friday, October 14, 2011More proofs, and some logical axioms |
Fall 2011 |

## Monday, October 17, 2011Proofs involving equality |
Fall 2011 |

## Wednesday, October 19, 2011A long proof and more on signatures |
Fall 2011 |

## Friday, October 21, 2011Model theory |
Fall 2011 |

## Monday, October 24, 2011More on models |
Fall 2011 |

## Wednesday, October 26, 2011Introduction to Peano arithmetic |
Fall 2011 |

## Friday, October 28, 2011More Peano arithmetic |
Fall 2011 |

## Monday, October 31, 2011Probably more Peano arithmetic |
Fall 2011 |

## Wednesday, November 2, 2011I don't even know |
Fall 2011 |

## Friday, November 4, 2011Euclidean algorithm? |
Fall 2011 |

## Monday, November 7, 2011Introduction to set theory |
Fall 2011 |

## Wednesday, November 9, 2011More sets theory - ordinals and cardinals |
Fall 2011 |

## Friday, November 11, 2011Ordinals and the natural numbers |
Fall 2011 |

## Monday, November 14, 2011Couldn't make it to class |
Fall 2011 |

## Wednesday, November 16, 2011Set theory and ordinals |
Fall 2011 |

## Friday, November 18, 2011Probably something on sets |
Fall 2011 |

## Monday, November 21, 2011More on sets and stuff |
Fall 2011 |

## Wednesday, November 23, 2011Prenex normal form |
Fall 2011 |

## Friday, November 25, 2011Defining the integers within set theory |
Fall 2011 |

## Monday, November 28, 2011Dedekind cuts and more |
Fall 2011 |

## Wednesday, November 30, 2011Don't think I was here |
Fall 2011 |

## Friday, December 2, 2011Problems from past finals |
Fall 2011 |

## Monday, December 5, 2011Missed it |
Fall 2011 |

## Tuesday, December 6, 2011Missed this too |
Fall 2011 |

## Past exam

Subject | Semester |
---|---|

## Fall 2009 Final |
Fall 2009 |

## Fall 2010 Final |
Fall 2010 |