跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
初学者
类别:
命题逻辑
类型:
选择题
符号
⊤
和
⊥
表示什么？
P ∧ ⊤
两个命题变量
常项真（⊤）和假（⊥）
合取和析取
证明的开始和结束
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
命题演算入门
→
学习命题、真值表、逻辑运算符，以及如何在命题逻辑中构建和评估逻辑表达式。
相关练习
难度:
初学者
类别:
命题逻辑
类型:
选择题
公式 ¬P ∧ Q 是怎样结合的？
难度:
初学者
类别:
命题逻辑
类型:
选择题
在 P → Q, P ⊨ Q 中，符号 ⊨ 表示什么？
难度:
初学者
类别:
命题逻辑
类型:
选择题
你的键盘上没有 → 这个箭头键。要输入 P → Q，在计算器里该敲什么？
难度:
初学者
类别:
命题逻辑
类型:
表达式求值
计算以下表达式的值：P ∧ Q，其中 P = 真 且 Q = 真
←
上一个
下面哪个符号读作 “当且仅当”？
难度:
初学者
类别:
命题逻辑
类型:
选择题
下一步
→
哪句话和 ¬(P ∧ Q) 说的是同一件事？
难度:
初学者
类别:
命题逻辑
类型:
选择题
