返回卡包市场
ECM 1415 Propositional Logic (Discrete Mathematics))
暂无描述。系统推荐的高质量记忆内容，适合每天坚持背诵学习。
卡片总数: 8 张•内容版本: v4•公开卡包•更新时间: 8/1/2026
卡片预览 (8 张)
#1
正面 (问题)
Give the truth table for p -> q
背面 (解答)
p q p -> q T T T T F F F T T F F T
#2
正面 (问题)
How does implication (->) work?
背面 (解答)
Both operands must be the same OR the RHS must be true
#3
正面 (问题)
Give the truth table for p < -> q
背面 (解答)
P Q (P ↔ Q) F F T F T F T F F T T T
#4
正面 (问题)
How does biconditional (↔) work?
背面 (解答)
Both operands must have the same boolean value
#5
正面 (问题)
tautology
背面 (解答)
A proposition that is always true
#6
正面 (问题)
Contradiction
背面 (解答)
A proposition that is never true
#7
正面 (问题)
Contigency
背面 (解答)
A proposition that is neither a tautology nor a contradiction
#8
正面 (问题)
¬p -> q is the same as what expression (1) according to which law (2)?
背面 (解答)
(1) p \/ q (2) Conditional-disjunctive law