Negation in Mathematical Logic

Definition of Negation in Mathematical Logic

Negation is usually used to deny or reverse a statement. To deny or make a negation of a statement is usually by putting the word "not true" in front of a sentence or by inserting not. "The new statement obtained in such a way is called the negation of an initial statement.

Formula or Symbol of Negation in Mathematical Logic

If p is a statement, the negation of the statement can be written as follows:

~p

Information :
~ p reads "not true p" or "not p"

Example Question of Negation in Mathematical Logic

Please determine the negation of the statements:
p: Jakarta capital of Indonesia
~ p: Not true Jakarta capital of Indonesia
~ p: Jakarta is not the capital of Indonesia

Truth Value of Negation

If p is a true value, then ~ p is wrong and vice versa if it is false then ~ p is true, for the truth table it can be seen in the truth table below:

Information :
T = True
F = False / Wrong.

Similarly this article.
Sorry if there is a wrong word.
The end of word wassalamualaikum wr. wb

Referensi :