Fresison
# Fresison

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.

## Exemples de syllogismes en Fresison

* Aucun violoniste n'est punk ;
* Or quelques punks sont musiciens ;
* Quelques musiciens ne sont pas violonistes.
* Les chiens ne sont pas des oiseaux ;
* Certains oiseaux servent d'animaux de compagnie ;
* Certains animaux de compagnie ne sont pas des chiens.
* « Nul malheureux n'est content ;
* Il y a des personnes contentes qui sont pauvres ;
* Il y a donc des pauvres qui ne sont pas malheureux. »
