質問: 100コインです。数理論理学です。 これは(論理式の意味で)何の定理の証明かを下の数字から選んでください。 そしてC,D,E,Fに入る論理式も下の数字から選んでください。 1 ⊥ 2 A 3 B 4 ¬A 5 ¬B 6 A→B 7 A∧¬B 8 B∨¬B 9 ¬(A∧¬B) 10 ¬(A∧¬B)→(A→B)
回答: 証明された定理 10 C 1 D 7 E 5 F 9