Logic based on argument involving deductively necessary relationships and including the use of syllogisms and mathematical symbols.
More example sentences
- Other questions can be answered deductively, by referring to established rules; this is the case, for example, with mathematics, grammar and formal logic.
- The new curriculum assumes that thinking presupposes formal logic, but it does not explain how one acquires it; so, in practice, the new curriculum assumes that formal logic is innate.
- Trotsky used the metaphor of elementary and higher mathematics to explain the relationship between formal logic and dialectic logic.