
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
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.
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
Determine the truth of each fact, then evaluate the compound proposition. The key records the atomic values and final answer.
Download the practice pages alone, or include a separate answer key or teacher model. Longer activities may use more than one page.
Customize this worksheetEach question starts with numerical facts that have definite truth values. Easy forms combine two propositions; medium forms negate a whole compound; hard forms group two operators over three propositions.
Choose words, symbols or a mixture. The grouping remains explicit, and the answer key shows the atomic truth values as well as the final result.
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
Find each atomic truth value and combine those values according to the exact grouping of a statement.
Worked example
True.
The two facts are T and F. Their conjunction is F. NOT reverses that compound result to T.
Teaching notes
Make it yours
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.
A useful next step

Logic
Introduce propositions, logical operators, compound expressions and truth tables with a printable reference. Use clear examples before starting symbolic logic practice.
Preview and download
Logic
Generate four truth tables with AND, OR, conditional, biconditional or exclusive OR. Choose negated atoms and fill either every cell or only the result column.
Preview and download
Logic
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.
Preview and download