Combine symbolic premises until the conclusion follows.

The Axiom Room

Level 1

1 / 12

Select compatible symbolic blocks.

? ⊢ Q