Logic
Logic definitions reference sheet
Introduce propositions, logical operators, compound expressions and truth tables with a printable reference. Use clear examples before starting symbolic logic practice.
Preview and downloadLogic practice
Law of detachment worksheets
Use two given premises to draw a valid conclusion in eight original scenarios. Practice the law of detachment, also called modus ponens, with a separate answer key.
Ready-made English PDF · fixed settings
Customization below makes a separate PDF.
Fixed English ready-made files. Custom settings below apply only to the configured PDF.
Ready to print
Start with a ready-made worksheet
Assume both premises are true. Use the conditional and its stated hypothesis to write the conclusion.
Download the practice pages alone, or include a separate answer key or teacher model. Longer activities may use more than one page.
Customize this worksheetA conclusion justified by the premises
The worksheet gives a conditional p → q and the premise p. The required conclusion is q. Treat the stated rule as an assumption for the exercise.
This is modus ponens. It does not justify the converse inference from q to p, and it does not ask the learner to investigate whether an everyday rule is universally true.
A narrow selection can repeat the available expression forms. Use New problems to make another reproducible set, or return to the same settings link when you need the same questions.
Learning objective
What this activity builds
Recognize the valid inference from a conditional and its hypothesis to its conclusion.
Worked example
If a badge is valid, the turnstile opens. The badge is valid. What follows?
The turnstile opens.
The second premise supplies the hypothesis of the first. This is the pattern p → q, p, therefore q.
Teaching notes
Make the practice count
- Label the hypothesis p and the conclusion q.
- Find the premise that confirms p before writing q.
- Use the given rule rather than guessing from everyday experience.
- Ask the learner to explain which two premises justify the conclusion.
Make it yours
Customize the practice
Choose your options, update the preview, then download the exact same pages.
Choose the operators or statement forms, update the preview and print the same resolved questions.
Enlarged pages scroll. PDF size stays the same.
A useful next step
Related activities
Logic
Determine truth values worksheets
Practice ten true-or-false logic questions using verifiable numerical facts. Choose simple compounds, whole-statement negation or three-proposition expressions in words, symbols or both.
Preview and download
Logic
Logic truth table review worksheets
Translate four verbal statements into expressions and complete one combined truth table. Choose an operator and practice every combination of negated and unnegated atoms.
Preview and download