: logisk slutning fra det generelle til det specielle; til forskel fra induktion. Slutning i hvilken konklusionen med logisk nødvendighed følger af præmisserne.
........................................................................................................................