搜索结果
跳转到导航
跳转到搜索
- …''({{lang-en|Commutativity of conjunction}})是命题逻辑中一种有效的论证形式和真值函数重言式。它被认为是[[经典逻辑]]的一个定律。原则是[[逻辑]][[合取]]的连词(conjuncts)可以相互交换位置，同时保留命题结果的真值。<ref>{{cite book|t *[[经典逻辑]] …2 KB（173个字） - 2023年7月8日 (六) 00:27
- 模態代數提供了[[命題邏輯|命題]][[模態邏輯]]的模型，以和布爾代數是[[經典邏輯]]的模型相同的方式。特別是，所有模態代數的[[簇 (泛代數)|簇]]是在[[抽象代數邏輯]]意義下的模態邏輯 ''K'' 的等價代數語義，并且它的子簇 …1 KB（67个字） - 2019年6月19日 (三) 00:59
- 因为[[经典逻辑]]是[[布尔代数]]的模型，[[直觉逻辑]]是 [[Heyting代数]]的模型，吸收律对分别指示[[逻辑析取|逻辑或]]和[[逻辑合取|逻辑与]]的 …2 KB（55个字） - 2018年11月9日 (五) 22:07
- *[[经典逻辑]] …2 KB（155个字） - 2023年7月6日 (四) 17:14
- …辑]]是在[[直觉主义逻辑]]和[[经典逻辑]]之间的'''中介'''，这是在它们包含在[[直觉主义逻辑]]中不可证明的[[定理]]，而又不等于的[[经典逻辑]]的意义上说的。这种逻辑也叫做'''超直觉主义'''或'''次经典'''逻辑。 * 经典逻辑（'''CPC''', '''Cl''', '''CL'''）：'''IPC''' + P ∨ ¬P …3 KB（204个字） - 2019年7月14日 (日) 07:34
- 在[[数学]]中，'''武卡谢维奇逻辑'''（Łukasiewicz logic）是[[非经典逻辑|非经典]]、[[多值逻辑|多值]]逻辑。它最初由[[扬·武卡谢维奇]]定义为叫做“三价逻辑”的[[三值逻辑]]<ref name="Luk1920"> …3 KB（277个字） - 2023年8月12日 (六) 14:51
- 在[[经典逻辑]]中，有些定理明确的假定在[[论域]]中必须有东西。考虑下列经典的有效定理。 …2 KB（128个字） - 2022年10月9日 (日) 16:17
- *[[经典逻辑]] …3 KB（151个字） - 2023年6月10日 (六) 16:37
- …收缩”的[[结构规则]]的一种[[亚结构逻辑]]。对此解释是“假设是资源”:在[[证明]]中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如[[经典逻辑]]或[[直觉逻辑]]，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从[[命题]]''A''和''A'' ⇒ ''B''能按如下步骤得出 * [[经典逻辑]] …3 KB（91个字） - 2025年1月20日 (一) 17:42
- *[[经典逻辑|古典邏輯]]的[[蕴涵命题演算]]，需要與排中律相結合，例如，[[皮尔士定律]]; …3 KB（320个字） - 2021年2月5日 (五) 05:12
- …ma}{\Gamma \vdash A, \Sigma}</math>。在使用[[归结原理]]的[[自动定理证明]]中也叫做'''因子化'''。在[[经典逻辑]]中称为[[蕴含的幂等性]]。 …2 KB（97个字） - 2023年7月6日 (四) 04:23
- * [[经典逻辑]] …3 KB（130个字） - 2024年3月12日 (二) 10:47
- 在[[谓词演算]]中，如果一个公式可以被写为[[量词]]在前，被称为母体的无量词部分在后的形式，则称其为'''前束[[范式]]'''的，所有[[经典逻辑]]公式都[[逻辑等价]]于某个前束范式公式。 …2 KB（145个字） - 2024年9月23日 (一) 14:18
- 雙重否定除去是[[經典邏輯]]裡的一個定理，但不是[[直覺邏輯]]裡的。因為直覺邏輯在結構上的偏好，「不是沒有正在下雨」此一陳述比「正在下雨」要弱。後者需要有下雨的證明，而前者只 …2 KB（72个字） - 2016年4月11日 (一) 11:34
- 这个条件明显是假的：Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是，在[[经典逻辑]]中使用实质蕴涵的这个公式的直接的编码为： 尝试找到条件的更好翻译的非经典逻辑的介绍请参见： …3 KB（116个字） - 2022年3月21日 (一) 12:35
- '''爆炸原理'''（principle of explosion, "from falsehood, anything (follows)"），是[[经典逻辑]]中[[實質條件]]陈述从[[矛盾]]中可以得出任何事物的规则。用更加形式化的术语，从形如 ''P'' ∧ ¬''P'' 的[[命题] …3 KB（180个字） - 2024年12月23日 (一) 20:22
- 在[[布尔代数]]中补运算是对合。因此在经典逻辑中的否定满足“双重否定律”: ¬¬''A'' 等价于 ''A''。 一般在非经典逻辑中，满足双重否定律的的否定叫做对合性的。在代数语义中，这样的否定被实现为在[[逻辑真值]]的代数上对合。有对合性否定的逻辑的例子有 Kleene 和… …4 KB（70个字） - 2021年5月12日 (三) 18:26
- 4 KB（346个字） - 2024年1月8日 (一) 15:55
- '''恆真式'''是指在任何解釋下皆為真的命題，例如经典逻辑中的<math>P\vee\neg P</math>、<math>P\to P</math>、<math>(P\wedge Q)\vee R\leftr …4 KB（402个字） - 2024年1月10日 (三) 05:20
- …tsatz)）是确立[[相继式演算]]重要性的主要结果。它最初由[[格哈德·根岑]]在他的划时代论文《逻辑演绎研究》对分别形式化[[直觉逻辑]]和[[经典逻辑]]的系统LJ和LK做的证明。切削定理声称在相继式演算中，拥有利用了'''切规则'''的证明的任何判断，也拥有'''无切证明'''，就是说，不利用切规则 …达力的框架，已经为直觉逻辑提议了允许RHS有多个公式的相继式演算，而来自[[Jean-Yves Girard]]的逻辑LC得到了RHS最多有一个公式的经典逻辑的更加自然的形式化；逻辑和结构规则的相互作用是它的关键。 …3 KB（133个字） - 2018年12月1日 (六) 14:49