논리와 양화사: ∀·∃
술어 논리의 전칭·존재 양화사와 그 성질. '자명한 ∃'와 '비자명한 ∃'의 차이가 왜 분류 논쟁의 핵심인지 이해합니다.
36문항
한국어
O/X주관식4지선다
#논리학#술어논리#양화사
앱이 아직 설치되지 않은 것 같아요. 아래 TestFlight에서 Swiq를 설치한 뒤, 이 페이지로 돌아와 다시 눌러 주세요.
앱이 설치돼 있다면 '앱에서 열기'가 이 세트를 바로 열어요.
아직 앱이 없다면
TestFlight로 받기
미리보기
프롬프트 5장 미리보기 · 정답과 해설은 앱에서 확인하세요
1
전칭양화사 ∀는 '모든', 존재양화사 ∃는 '어떤 …가 존재한다'를 뜻한다.
2
∃x.P(x)가 참임을 보이려면, 원리상 조건 P를 만족하는 x를 하나라도 제시하면 된다.
3
논리식 ¬(∀x. P(x))와 동치인 것은?
4
논리식 ¬(∃x. P(x))와 동치인 것은?
5
구성적(구성주의) 관점에서 ∃x.P(x)의 증명은 그러한 x를 실제로 구성·제시하는 방법을 포함해야 한다.
🔒 정답·해설은 앱에서만 볼 수 있어요