Conditional Statement Transformer

Run Fullscreen

About This MicroSim

This interactive tool automatically generates all four related forms of any conditional statement:

1. Original: If p, then q (p → q)
2. Converse: If q, then p (q → p)
3. Inverse: If not p, then not q (~p → ~q)
4. Contrapositive: If not q, then not p (~q → ~p)

How to Use

1. Select a statement from the dropdown menu
2. Observe how all four forms are generated with their truth values
3. Hover over boxes to highlight logically equivalent statements
4. Toggle connections to show/hide relationship lines

Learning Objectives

• Create converse, inverse, and contrapositive statements
• Evaluate truth values of related conditional forms
• Recognize which forms are logically equivalent

Bloom's Taxonomy Level

Creating - Students construct related conditional statements.

Iframe Embed Code

<iframe src="https://dmccreary.github.io/geometry-course/sims/conditional-transformer/main.html"
        height="602px"
        width="100%"
        scrolling="no"></iframe>

References

1. Logical Equivalence - Khan Academy