DomainLogicKey FiguresSlugsyllogismSummaryAristotle's three-line deductive argument form (e.g., All M are P; All S are M; therefore All S are P).TraditionAristotelianismWiki URL