跳到主要内容
逻辑计算器
计算器
合成
学习
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
初学者
命题逻辑
表达式输入
用逻辑符号表达以下陈述:
"除非有足够的人参加,否则会议将被取消"
使用:
C
表示"会议将被取消"
E
表示"有足够的人参加"
→
表示蕴含
¬
表示否定(非)
使用计算器中可用的符号输入你的答案。
逻辑表达式
插入:
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
语言学中的逻辑
→
发现形式逻辑如何阐明自然语言的结构和意义,从组合语义学和量化到预设、情态和计算语言学。
命题演算入门
→
学习命题、真值表、逻辑运算符,以及如何在命题逻辑中构建和评估逻辑表达式。
相关练习
难度:
初学者
类别:
命题逻辑
类型:
选择题
在 P ∨ Q 中,符号 ∨ 表示什么?
难度:
初学者
类别:
命题逻辑
类型:
选择题
在公式 ¬P 中,符号 ¬ 起什么作用?
难度:
初学者
类别:
命题逻辑
类型:
选择题
公式 P → Q 应该怎么读?
难度:
初学者
类别:
命题逻辑
类型:
选择题
下面哪个符号读作 “当且仅当”?
←
上一个
用逻辑符号表达以下陈述: "你可以喝茶或咖啡,但不能两者都喝" 使用: - H 表示"你喝茶" - C 表示"你喝咖啡" - | 表示析取(或) - &…
难度:
初学者
类别:
命题逻辑
类型:
表达式输入
下一步
→
在命题逻辑中,符号 ∧ 表示什么?
难度:
初学者
类别:
命题逻辑
类型:
选择题