In logic, negation, also called logical not or logical complement, is an operation that takes a proposition P to another proposition, not P, commonly written as not-P. The negation of a proposition is true exactly when the original proposition is false, and false when the original is true, so that negating a statement such as the dog runs produces the dog does not run. Negation is one of the basic logical connectives from which more complex logical statements are built.
Facts
Connections
In Branch
Source Negation (Wikipedia)
Is Kind Of Object
Sources
1. Negation (Wikipedia)
Lead section
In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P {\displaystyle P} to another proposition "not P {\displaystyle P} ", written ¬ P {\displaystyle \neg P}, ∼ P {\displaystyle {\mathord {\sim }}P}, P ′ {\displaystyle P^{\prime }} or P ¯ {\displaystyle {\overline {P}}}. It is interpreted intuitively as being true when P {\displaystyle P} is false, and false when P {\displaystyle P} is true.
In Branch: Logic and Foundations, Lead sentence
In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P to another propo
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.