0:00
中級命題論理式評価

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

P → Q where P = ⊤, Q = ⊥