Fil Salustri's Design Site

Site Tools



Deduction is the classic mode of inferring, typical in formal, logical systems.

Deduction is classically distinguished by its rule of modus ponens: $p; p \Rightarrow q; q$

This is how Sherlock Holmes and Spock did their thing.

However, it is quite limited because it cannot capture other very common and important inferencing methods.

See Also

design/deduction.txt · Last modified: 2020.03.12 13:30 (external edit)