úsudok zo všeobecného na zvláštne; logická sústava troch výrokov, keď z dvoch predpokladov je vyvodený záver