# DesignWIKI

Fil Salustri's Design Site

2015.01.09 11:13
design:deduction

# Deduction

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.