From the previous article, you know that a prepositional Statement can have truth value and the values are boolean – true or false. A statement having true value can be negated using ‘not‘ operator and then its value becomes false or vice-versa.
Consider the following example where variable p is the statement “I am eating“.
p: "I am eating" negation of p or : " It is not the case that I am eating" or simply "I am not eating"
You can write a negative statement but a true statement and negate it too. Let q be the statement “I am not eating”.
q: "I am not eating" : "I am eating".
Given a compound preposition, a Negation must be simplified first before any other logical operator. Its precedence is highest unless you have part of an expression enclosed in parenthesis.
In the compound statement (1) there are two groups of parenthesis where first group $latex \neg (p \lor q) has a negation. Therefore, we must evaluate the first group and then second group of parenthesis.
The expression (2) has only one parenthesis that must be evaluated first because cannot simplify the not operator with one variable.
Truth Table for Negation
The negation operator is unary operator which give opposite results to a boolean value. The truth table gives all possible output for a given input combination and negation operator.
The post Prepositional Logic – Negation of Statements appeared first on Notesformsc.