Loading AI tools
De Wikipédia, l'encyclopédie libre
Fresison (également appelé Fresisom dans la Logique de Port-Royal) est un terme de la logique aristotélicienne désignant un des cinq syllogismes de la quatrième figure des vingt-quatre modes. Il comprend une majeure de type E, une mineure de type I et une conclusion de type O, c'est-à-dire une majeure universelle négative, une mineure particulière affirmative et une conclusion particulière négative.
Un syllogisme en Fresison consiste en une proposition de ce type : P n'est pas S, or quelque F est P, donc quelque F n'est pas S.
Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Dimatis et Fesapo.