暗示

“暗示”是指连接的在里面命题演算其含义为“如果是真的，那么也是正确的。“在正式术语中有条件的通常用来指这个连词（Mendelson 1997，p.13）。符号用于表示“暗示”是,（卡纳普1958年，第8页；门德尔森1997年，第13页），或.

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

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

具有以下功能真理桌子（卡纳普1958年，第10页；门德尔森1997年，第13页）。

T型	T型	T型
T型	F类	F类
F类	T型	T型
F类	F类	T型

如果和（即。，)，然后和据说是相等的，一种关系象征性地写为,，或（卡尔纳普1958年，第8页）。