Skip to main content
grasp.study
About
Explore
Pricing
Log in
Try it for free
Back to course
👋
Welcome to a Grasp lesson
Create a free account
to keep studying and create your own study path.
Foundations
·
Module 1
Logic and Proof Fundamentals
1
English to Propositional Logic
Translate English statements into propositional logic expressions.
2
Building Compound Propositions
Construct compound propositions using logical connectives (AND, OR, NOT, implication, biconditional).
3
Truth Tables and Logical Equivalence
Evaluate compound propositions and determine logical equivalence using truth tables.
4
Simplifying Expressions with De Morgan's Laws
Apply logical equivalences like De Morgan's laws to simplify expressions.
5
Direct and Contrapositive Proofs
Construct a simple argument using direct proof and proof by contrapositive.
6
Universal vs. Existential Quantifiers
Distinguish between universal and existential quantifiers in predicate logic.
7
Quantifiers in Predicate Logic
Translate English statements involving quantifiers into predicate logic.
8
Evaluating Quantified Statements
Evaluate the truth of quantified statements over a given domain.
Next module isn't ready yet,
Back to course
Previous module
Next module