话题
搜索

暗示


“暗示”是指连接的在里面命题演算其含义为“如果A类是真的,那么B类也是正确的。“在正式术语中有条件的通常用来指代这个连接词(Mendelson 1997,第13页)。符号用于表示“暗示”是A=>B,A超集B(卡纳普1958年,第8页;门德尔森1997年,第13页),或A->B.

这个Wolfram语言命令暗示[第页,q个]可以用来表示逻辑含义p=>q.

在经典逻辑中,A=>B是的缩写A与B,哪里A型表示不是 v(v) 表示(尽管情况并非如此,例如直觉主义的逻辑).=>是在沃尔夫拉姆语言作为暗示[A类,B类]、和可以扩展到两个以上的参数。

A=>B具有以下功能真理桌子(卡纳普1958年,第10页;门德尔森1997年,第13页)。

A类B类A=>B
T型T型T型
T型F类F类
F类T型T型
F类F类T型

如果A=>BB=>A(即。,A=>B ^B=>A),然后A类B类据说是相等的,一种关系象征性地写为A<=>B,A<->B,或A=B(卡尔纳普1958年,第8页)。


另请参见

连接性,等价物,存在,面向所有人,量词

与Wolfram一起探索| Alpha

工具书类

卡纳普,R。符号逻辑及其应用导论。纽约:多佛,1958年第8页。门德尔森,E.公司。介绍数学逻辑,第4版。伦敦:查普曼和霍尔出版社,1997年。

引用的关于Wolfram | Alpha

暗示

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“暗示。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Implies.html

受试者分类