A가 한정기호를 포함하지 않는 명제라고 할때
∀x(~P(x)∪A) 랑 ∀x~P(x)∪A 가 동치라고 하던데
A는 x에 관한 명제가 아니라서 앞에 ∀x 가 붙든말든 상관이 없는건가요?
그러면 A는 x와 어떠한 상관관계도 없다고 봐도 괜찮은건가요?
마지막으로 한정기호를 포함하지 않는명제라는게 정확히 무슨뜻인가요?
A가 한정기호를 포함하지 않는 명제라고 할때
∀x(~P(x)∪A) 랑 ∀x~P(x)∪A 가 동치라고 하던데
A는 x에 관한 명제가 아니라서 앞에 ∀x 가 붙든말든 상관이 없는건가요?
그러면 A는 x와 어떠한 상관관계도 없다고 봐도 괜찮은건가요?
마지막으로 한정기호를 포함하지 않는명제라는게 정확히 무슨뜻인가요?