====== Modus Felapton ======
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. This form has an additional existential requirement.
> No M is P.
> All M are S.
> [and there exists at least one M]*
> Therefore, Some S are not P.
For example:
> No rectangle is a circle.
> Some rectangles are squares.
> [and there exists at least one rectangle]*
> Therefore, Some squares are not circles.
//Modus Felapton// is very similar to [[logic:inferences:modus_ferio:index|Modus Ferio]], the only difference is that the terms in the minor statement are swapped.
===== Name =====
The name "Felapton" 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" and "o" stand for a //negative// [[glossary:universal_quantification|universal]] and [[glossary:existential_quantification|existential]], the "i" for an affirmative existential statements.
===== See also =====
* [[glossary:existential_import|Existential import]]
* [[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}}