¬

✍ dations ◷ 2024-07-03 08:28:16
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。命题A的非可以有几种写法:以上可以读做"A不成立"或者"非A"。¬p的真值表定义如下:~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。~A为真当且仅当A为假。

相关

  • 白蚁白蚁亦称.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-s
  • 海豹海豹科(学名:Phocidae)动物俗称海豹,是食肉目鳍足类的一科,常见的有斑海豹、港海豹、冠海豹等。海豹是成纺锤体型、四肢特化成鳍状的哺乳类动物,头圆颈短,没有外耳廓,因为它们的脸部
  • 麦可·法拉第迈克尔·法拉第(英语:Michael Faraday,1791年9月22日-1867年8月25日),英国物理学家,在电磁学及电化学领域做出许多重要贡献,其中主要的贡献为电磁感应、抗磁性、电解。虽然法拉第没
  • 唐家乡唐家乡可以指:
  • 季蒂昂的芝诺季蒂昂的芝诺(Ζήνων,前335年-前263年),古希腊哲学家(不同于公元前五世纪的埃利亚的芝诺),出生于塞浦路斯的季蒂昂(Citium),于公元前313年左右到雅典研究哲学,受到苏格拉底、赫拉克
  • 不一致启示论证对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教不一致启示论证(英文:Argument from inconsistent revelations),又称“逃避错误地狱问题”(英文:Avoiding the wrong hell
  • 犹太自治州犹太自治州(俄语:Еврейская автономная область,罗马化:Evreyskaya avtonomnaya oblast;意第绪语:ייִדישע אווטאָנאָמע געגנט
  • 知识学知识论是探讨知识的本质、起源和范围的一个哲学分支。目前知识论和认识论之间的关系存在争议,有人认为它们是同一个概念,而也有人认为它们其实是存在一些密切联系的两个不同概
  • 2006年联合国秘书长选举科菲·安南潘基文2006年联合国秘书长选举旨在选出一名新任联合国秘书长,以接替任期将于2006年12月31日结束第二届任期的时任秘书长科菲·安南。此次选举共有七名候选人,来自韩
  • 语义元语义元,或称语义素,是在先天上能够直接理解而无法以更简化的用词来表述的一组语义的概念。语义元能够表述透过后天习得,但不能被具体定义的单词或短语。 例如,英语 "touch" 最直