最終更新日：2025/11/27
In many logic textbooks, existential instantiation is introduced as the rule that allows one to replace an existential formula ∃x P(x) with a new constant c and infer P(c).
正解を見る
In many logic textbooks, existential instantiation is introduced as the rule that allows one to replace an existential formula ∃x P(x) with a new constant c and infer P(c).
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
