难度: 初学者类别: 布尔代数类型: 选择题
真 与 假 的结果是什么？
真 ∧ 假逻辑练习
通过涵盖布尔代数、命题逻辑、真值表等的互动练习来练习和提高您的逻辑技能。
训练
根据当前的过滤器和排序首选项按顺序练习习题。非常适合系统学习和技能培养。
顺序练习
跟踪进度
按自己的节奏学习
难度: 初学者类别: 布尔代数类型: 选择题
假 或 真 的结果是什么？
假 ∨ 真难度: 初学者类别: 布尔代数类型: 选择题
非 真 的结果是什么？
¬真难度: 初学者类别: 逻辑等价类型: 拖放证明
将以下步骤按正确顺序排列，以从给定前提证明 Q。 目标： 证明 Q
P → Q, P ⊢ Q难度: 初学者类别: 命题逻辑类型: 表达式求值
计算以下表达式的值：P ∧ Q，其中 P = 真 且 Q = 真
P ∧ Q where P = ⊤, Q = ⊤难度: 初学者类别: 命题逻辑类型: 表达式求值
求解以下表达式：P ∨ Q，其中 P = 假 且 Q = 真
P ∨ Q where P = ⊥, Q = ⊤难度: 初学者类别: 逻辑等价类型: 证明完成
填写此证明中缺失的推理依据。 目标： 证明 Q
P → Q, P ⊢ Q难度: 初学者类别: 命题逻辑类型: 表达式输入
使用逻辑符号表达以下陈述： "如果下雨，那么地面是湿的" 使用： - R 表示"下雨" - W 表示"地面是湿的" - ** → ** 表示蕴含 使用计算器中可用的符号输入你的答案。
难度: 初学者类别: 命题逻辑类型: 表达式输入
使用逻辑符号表达以下陈述： "天气晴朗且温暖" 使用： - S 表示"天气晴朗" - W 表示"天气温暖" - ** ∧ ** 表示合取（且） 使用计算器中可用的符号输入你的答案。
难度: 初学者类别: 命题逻辑类型: 表达式输入
使用逻辑符号表达以下陈述： "我将学习数学或物理" 使用： - M 表示"我将学习数学" - P 表示"我将学习物理" - ** ∨ ** 表示析取（或） 使用计算器中可用的符号输入你的答案。
难度: 初学者类别: 命题逻辑类型: 表达式输入
用逻辑符号表达以下陈述： "没有下雨" 使用： - R 表示"正在下雨" - ¬ 表示否定（非） 使用计算器中可用的符号输入你的答案。
难度: 初学者类别: 命题逻辑类型: 表达式输入
用逻辑符号表达以下陈述： "警报响起当且仅当检测到运动" 使用： - A 表示"警报响起" - M 表示"检测到运动" - ** ↔ ** 表示双条件（当且仅当） 使用计算器中可用的符号输入你的答案。
按类别浏览
按难度浏览
按类型浏览
常见问题
关于逻辑计算器使用方式的常见问题解答
有哪些类型的练习？
有选择题、填写真值表、化简、等价判断、表达式输入与求值，以及证明题——包括补全证明和拖放式的证明构造。它们分为命题逻辑、布尔代数、真值表、逻辑等价、谓词逻辑和自然演绎几类，你可以按分类、类型、难度和标签筛选。
难度等级是什么意思？
共有四级：入门、进阶、高级和专家。它们说明的是需要具备多少知识，而不是做题要花多久；每道练习还会显示预计用时和对应的分值。
什么是训练？
一组同一难度的练习，你也可以把范围缩小到想练的分类和题型。它会一路记分，结束时汇总你的表现，若还有更高的难度，就会建议你继续往上。
我的答案是怎么判定的？
在你的浏览器里，用驱动计算器的同一套引擎判定。大多数题型会在统一空格和记法之后，把你的答案与标准答案比对；表达式输入更进一步，会检查逻辑等价，因此写法不同但意思相同的公式同样算对。每道练习都配有解析，答题后会显示。
卡住时能看提示吗？
可以，在有提示的练习里：一段可以展开、又不会直接给出答案的提示。如果还不够，回到讲这个主题的指南通常是最快的办法——练习的分类和指南遵循同样的主题划分。