質問: 50コインです。数理論理学です。 この推論図の帰結(結論) この推論図の前提(仮定) G に入る論理式 H に入る論理式 I に入る論理式 を下の数字から選んでください。 1 ⊥ 2 P(x) 3 Q(x) 4 P(x)∧Q(x) 5 ∃xP(x) 6 ∃xQ(x) 7 ∃xP(x)∧∃xQ(x) 8 ∃x(P(x)∧Q(x))
回答: この推論図の帰結(結論) 7 この推論図の前提(仮定) 8 G に入る論理式 2 H に入る論理式 6 I に入る論理式 4