请输入您要查询的字词:

 

单词 Negation
释义

negation


In logics and mathematics, negationMathworldPlanetmath (from Latin negare ‘to deny’) is the unary operation “¬” which swaps the truth value of any operand to the truth value.  So, if the statement P is true then its negated statement ¬P is false, and vice versa.

Note 1.  The negated statement ¬P (by Heyting) has been denoted also with -P (Peano), P (Russell), P¯ (Hilbert) and NP (by the Polish notation).

Note 2.¬P may be expressed by implicationMathworldPlanetmath as

P

where means any contradictory statement.

Note 3.  The negation of logical or and logical and give the results

¬(PQ)¬P¬Q,¬(PQ)¬P¬Q.

Analogical results concern the quantifierMathworldPlanetmath statements:

¬(x)P(x)(x)¬P(x),¬(x)P(x)(x)¬P(x).

These all are known as de Morgan’s laws.

Note 4.  Many mathematical relationMathworldPlanetmath statements, expressed with such special relation symbols as  =,,,,,,  are negated by using in the symbol an additional cross line:  ,,,,,.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 19:08:43