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.
Anatomy of a Proof
ยท
Module 1
Logical Foundations
1
Propositions and Conditional Statements
Define propositions and the conditional connective (IF P, THEN Q), explaining their role as the building blocks of mathematical arguments.
2
Modus Ponens: If P, Then Q; P, Therefore Q
Describe a valid deductive step using the Modus Ponens inference rule (Given 'IF P, THEN Q' and 'P', one can conclude 'Q').
Next module isn't ready yet,
Back to course
Previous module
Next module