0:00
難易度: 中級カテゴリ: 命題論理タイプ: 式評価

次の式を評価しなさい:P → Q ただし P = 真 かつ Q = 偽

P → Q where P = ⊤, Q = ⊥