补充资料：否定

否定
negation

　　否定l碑朗ti阅;。，仙“e] 一种逻辑运算，对一个给定的命题A，执行这种运算就得到命题“非A”.在形式语言中，命题A的否定记作二A，一A，面，一A，A‘(读作:“非A”，“A不真”，“A不成立”，等等).从语义上说，命题A的否定意味着由假设A能推出矛盾(。mm山。tion).在经典二值逻辑中，否定运算的作用由如下真假值表(trutll table)给出:{B .E._K。撰沈复兴译
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。