Link
Search
Menu
Expand
Document
Math 300
Schedule
Homework
Homework 0
Homework 1
Homework 2
Homework 3
Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Homework 9
Homework 10
Homework 11
Homework 12
Notes
Propositional logic
Propositions and proofs
And, or, implies
Not
Reductio ad absurdum
Truth tables
Proof vs truth
Useful formula
Lean
Logical formulas
Proofs and our first rules
More rules and proofs
Negation and RAA
Interactive mode
Predicate logic
Predicates, quantifiers, and equality
New rules of inference
Soundness and completeness
Examples
Lean
Proofs in Lean
Sets
Basics
Operations on sets
Sets in Lean
Proofs in Lean
Functions
Basic ideas
Properties of functions
Inverses
Functions and sets
Relations
Basic ideas
Useful properties
Partial and total orders
Equivalence relations
Induction
Peano's axioms
Recursion
Induction
Strong induction
Other inductive types
Integers
The definition
Lean's Int
Mod m
Groups
Syllabus
Me
Matthew Ballard
Microsoft Teams
Github
Github Classroom
Homework
Homework 6
Homework 6 - Predicate logic
Due 2022-10-03
.
You can find and submit the assignment on our Github Classroom.