negative proposition

logic

Also known as: denial

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 1, 2026

Quick Summary

In logic, a negative proposition is one that states an attribute is absent from or removed from a subject. This is often achieved by negating a statement, which means declaring it not to be true. For example, "x is not large" is a propositional function that becomes a negative proposition when a value is assigned to x, making it either true or false. An infinite proposition is a specific type of logical proposition with an indefinite negative predicate.12345

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

5 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

history of logic
Categorical forms
” Universal negative: “Every β is not an α,” or equivalently “No β is an α.” Particular affirmative: “Some β is an α.” Particular negative: “Some β is not an α.” Indefinite affirmative: “β is an α.” Indefinite negative: “β is not an α.” Singular
Read More
” Universal negative: “Every β is not an α,” or equivalently “No β is an α.” Particular affirmative: “Some β is an α.” Particular negative: “Some β is not an α.” Indefinite affirmative: “β is an α.” Indefinite negative: “β is not an α.” Singular
Read More