Deductive form

A deductive inference necessitates its conclusion by having a certain form. Deductive forms fall into three types:

1. Immediate Inferences

1. Aristotelian Syllogisms

1. Deductions Involving Complex Propositions