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