跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
初学者
类别:
命题逻辑
类型:
选择题
在公式
¬P
中，符号
¬
起什么作用？
¬P
它把真值反过来：P 为假时 ¬P 恰好为真
它让公式在每一行都为真
它把两个公式连接起来
它把 P 标记为变量
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
逻辑学入门
→
全面介绍逻辑学的研究、分支、历史背景以及在各个学科中的应用。
命题演算入门
→
学习命题、真值表、逻辑运算符，以及如何在命题逻辑中构建和评估逻辑表达式。
相关练习
难度:
初学者
类别:
命题逻辑
类型:
选择题
下面哪个符号读作 “当且仅当”？
难度:
初学者
类别:
命题逻辑
类型:
选择题
符号 ⊤ 和 ⊥ 表示什么？
难度:
初学者
类别:
命题逻辑
类型:
选择题
哪句话和 ¬(P ∧ Q) 说的是同一件事？
难度:
初学者
类别:
命题逻辑
类型:
选择题
公式 ¬P ∧ Q 是怎样结合的？
←
上一个
在 P ∨ Q 中，符号 ∨ 表示什么？
难度:
初学者
类别:
命题逻辑
类型:
选择题
下一步
→
公式 P → Q 应该怎么读？
难度:
初学者
类别:
命题逻辑
类型:
选择题
