In this program
- Propositional and predicate logic
- Proof systems and completeness
- Axiomatic set theory
Propositional and predicate logic
Mathematical logic & set theory · Theoretical / proof-based
Syntax and semantics of propositional logic
Objectives
- Syntax and semantics of propositional logic
- Truth tables and tautologies
- Logical equivalence
- Normal forms: CNF and DNF
- Predicate logic
- Interpretation
- Validity and satisfiability
- Logical consequence
Study materials
- Study guideComing soon
- Exam StrategyComing soon
- Common MistakesComing soon
- WorksheetsComing soon
- Word problemsComing soon
- Mixed PracticeComing soon
- Multi-Unit ProblemsComing soon
- ReviewComing soon
- Practice testComing soon
- Answer keyComing soon
Interactive practice
Quizzes, typed answers, and flashcards for this unit — coming soon.
- Coming soon
Quiz
Multiple-choice questions with instant feedback
- Coming soon
Typed practice
Type answers and check them
- Coming soon
Flashcards
Vocabulary and key facts
- Coming soon
Mixed quiz
Harder mixed review for this standard