====== Modus Fresison ======

Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_ferio:index|Modus Ferio]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from negative [[glossary:universal_quantification|universal]] and affirmative //existential// premisses.

<aside float-right>
<figure>
<h3>Modus Fresison</h3>
{{modus_fresison.svg?nolink|Modus Fresison}}
<figcaption>Type ''EIO'', Figure ''4''<span noprint> [[app>#EI4O|Modus Fresison]]</span> \\ Parent: [[logic:inferences:modus_ferio:index|Ferio]]</figcaption>
</figure>
</aside>

> No <abbr title="major term">P</abbr> is <abbr title="middle term">M</abbr>.
> Some <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>.
> <span conclusio>Therefore, Some <abbr title="minor term">S</abbr> are not <abbr title="major term">P</abbr>.</span>

For example:

> No <var>circle</var> is a <var>rectangle</var>.
> Some <var>rectangles</var> are <var>squares</var>.
> <span conclusio>Therefore, Some <var>squares</var> are not <var>circles</var>.</span>

//Modus Fresison// is very similar to [[logic:inferences:modus_ferio:index|Modus Ferio]], the only difference is that in both premisses the terms are swapped.

===== Name =====

The name "Fresison" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "F" at the beginning indicates that it is related to the [[logic:inferences:modus_ferio:index|Modus Ferio]], while the vowels indicate the types of statements used in the form: "e" stands for a //negative// [[glossary:universal_quantification|universal]], the "i" for an affirmative [[glossary:existential_quantification|existential]] premise, while the "o" indicates an //affirmative existential// conclusion.

===== See also =====

  * [[glossary:existential_quantification|Existential Quantification]]
  * [[logic:inferences:modus_ferio:index|Modus Ferio]]
  * [[glossary:syllogism|Syllogism]]
  * [[glossary:universal_quantification|Universal Quantification]]

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}