w logice tradycyjnej termin na oznaczenie schematu wnioskowania pośredniego, zbudowanego z 2 przesłanek, w których powtarza się ten sam termin, i wynikającej z nich konkluzji (wniosku); np. jeśli każdy człowiek jest ssakiem, a każdy ssak - kręgowcem, to każdy człowiek jest kręgowcem; rodzaje s.: hipotetyczny, kategoryczny, hipotetyczno-kategoryczny.
ENTYMEMAT, PETRUS HISPANUS
- WNIOSKOWANIE, (log.) rozumowanie polegające...
- ZDAŃ RACHUNEK, teoria zdań