请问各种逻辑符号的意思.
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/07/25 09:10:51
请问各种逻辑符号的意思.
求所有的逻辑符号及其含义.(⇒⇔↔¬∧∨∀∃∈⊂⊃∪∩→← )
普通逻辑学和现代逻辑学什么区别?
我只知道¬
求所有的逻辑符号及其含义.(⇒⇔↔¬∧∨∀∃∈⊂⊃∪∩→← )
普通逻辑学和现代逻辑学什么区别?
我只知道¬
![请问各种逻辑符号的意思.](/uploads/image/z/15559900-52-0.jpg?t=%E8%AF%B7%E9%97%AE%E5%90%84%E7%A7%8D%E9%80%BB%E8%BE%91%E7%AC%A6%E5%8F%B7%E7%9A%84%E6%84%8F%E6%80%9D.)
¬否定
∧合取
∨析取
∀全称量词
∃存在量词
∈属于
⊂包含于
⊃包含
∪并集
∩交集
→蕴涵
←逆蕴涵
↔等值
⇒严格蕴涵(本来是为了避免实质蕴涵怪论而出现的,现在似乎经常用来表示推导)
⇔严格等值(表示互推)
不过如果你在网上搜索“数学符号表”的话也可以看到略有不同的解释.
∧合取
∨析取
∀全称量词
∃存在量词
∈属于
⊂包含于
⊃包含
∪并集
∩交集
→蕴涵
←逆蕴涵
↔等值
⇒严格蕴涵(本来是为了避免实质蕴涵怪论而出现的,现在似乎经常用来表示推导)
⇔严格等值(表示互推)
不过如果你在网上搜索“数学符号表”的话也可以看到略有不同的解释.