1. Форма логічного міркування, в якій з двох даних суджень (засновків, преміс) обов’язково випливає третє судження (висновок).
2. У логіці — дедуктивне умовивідження, в якому на підставі двох категоричних суджень (преміс), що мають спільний термін, отримується новий категоричний висновок.