跳到主要内容
逻辑计算器
计算器
合成
学习
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
初学者
命题逻辑
选择题
在公式
¬P
中,符号
¬
起什么作用?
¬P
它把真值反过来:P 为假时 ¬P 恰好为真
它让公式在每一行都为真
它把两个公式连接起来
它把 P 标记为变量
获取提示
从这里开始训练
提交
相关练习
难度:
初学者
类别:
命题逻辑
类型:
选择题
下面哪个符号读作 “当且仅当”?
难度:
初学者
类别:
命题逻辑
类型:
选择题
符号 ⊤ 和 ⊥ 表示什么?
难度:
初学者
类别:
命题逻辑
类型:
选择题
哪句话和 ¬(P ∧ Q) 说的是同一件事?
难度:
初学者
类别:
命题逻辑
类型:
选择题
公式 ¬P ∧ Q 是怎样结合的?
←
上一个
在 P ∨ Q 中,符号 ∨ 表示什么?
难度:
初学者
类别:
命题逻辑
类型:
选择题
下一步
→
公式 P → Q 应该怎么读?
难度:
初学者
类别:
命题逻辑
类型:
选择题