Logic Lab
Build a Conditional Statement
Drag to assemble the logical statement.
drag_indicator Drag to slot
If
{{ s0.placedP.text }}
, then
{{ s0.placedQ.text }}
{{ item.text }}
The Transformation Machine
Modify the base statement to create the {{ s1.targetType }}.
toggle_on Tap switches
Base Statement
If it is a square, then it is a rectangle.
Current Output
If
not {{ s1.swap ? 'a rectangle' : 'a square' }}
, then
not {{ s1.swap ? 'a square' : 'a rectangle' }}
Swap Order
Negate (NOT)
Find the Counterexample
A counterexample makes the hypothesis True, but the conclusion False.
If , then
touch_app Tap point on line
Testing x = {{ s2.selected }}
Hypothesis: {{ s2.hypResult ? 'TRUE' : 'FALSE' }}
Conclusion: {{ s2.conResult ? 'TRUE' : 'FALSE' }}
Counterexample found!
Unlock Biconditional
A biconditional (IFF) requires both directions to be true.
swipe Slide to True
{{ s3.isCorrect ? 'lock_open' : 'lock' }}
IFF Confirmed!
If a polygon is a triangle, then it has 3 sides.
FalseTrue
If a polygon has 3 sides, then it is a triangle.
FalseTrue
Connect Equivalents
Match statements that have the same truth value.
ads_click Tap pairs
workspace_premium
Logic Master!
You've successfully built, transformed, proven, and matched logical statements.