Combine symbolic premises until the conclusion follows.

The Axiom Room

Level 1

Level 1 / 18

Select compatible symbolic blocks.

? ⊢ Q
Symbol Glossary