Deductive apparatus

Redirect to:

• Formal system#Deductive inference