Propositional Logic
Basic propositions and truth values
10 questions per mode
Logical Operators
AND, OR, NOT, and other operators
10 questions per mode
Truth Tables
Creating and interpreting truth tables
10 questions per mode
Logical Equivalence
Equivalent logical statements
10 questions per mode
Implications & Conditionals
If-then statements and implications
10 questions per mode
Quantifiers
Universal and existential quantifiers
10 questions per mode
Logical Laws
De Morgan's laws and other principles
10 questions per mode
Arguments & Validity
Valid and invalid arguments
10 questions per mode
Predicate Logic
First-order logic and predicates
10 questions per mode
Proof Techniques
Direct proof, contradiction, induction
10 questions per mode