이것도 마찬가지인데 둘중 하나가 참이니까 참임
이전글 마지막 댓글 읽어 보셈
사진올림
저 사진속의 이거나는 포괄적 선언인데 네가 쓰는 이거나는 베타적 선언이라서 그럼
너가 쓰는 이거나는 or 이아니라 xor임 xor검색 ㄱㄱ
그럼 포괄적 선언이면 위 사진이 맞고 배타적 선언이면 두 개 다 틀려야 거짓인걸로 알면 돼?
근데 상식적으로 ‘대한민국 남자나 여자면 군대를 간다’는 거짓으로 보지 않음? 저 문장은 ‘대한민국 사람이면 군대를 간다’와 같은 의미인데 이것도 참임?? 직관적으로 납득이 안되노
'대한민국 남자와 대한민국여자' 는 '대한민국 사람' 과 동치인데 '대한민국 남자거나 대한민국여자'는 '대한민국 사람'과 동치가 아니라서 그래
'대한민국남자 거나 대한민국여자'는 베타적 선언이라서 하나만 포함해 그러니까 '대한민국남자 거나 대한민국여자'에 해당하는 조건은 '대한민국남자'만 해당하거나 '대한민국 여자'만 해당하거나 둘중에 하나만 해당하는거야, 남자만 해당했다가 여자만 해당하는식으로 변하지 않고 고정되서 그래서 '대한민국 사람'으로 치환하는건 부당함
포괄적 선언이더라도 둘다 해당했을때 참이라는 보장없인 마찬가지
나중에 술어논리 배우면 다시 번역해봐 명제논리에서 놓치는 것들이 몇개 있을거야
크다/작다의 경우 두 단어를 동시에 긍정하거나 부정하면 모순이 발생한다. 혹시 위에 문장이 명제로서의 형식은 갖추고 있어? 내가 저거 때매 질문한거거든. 만약 위 문장이 그저 통사적 구조일뿐이라면 논리학에서의 그런 건 적용을 못할 수도 있지 않나 싶어서.
ㅇㅇ 명제맞음 참이거나 거짓인 문장은 원자명제로 번역하는한이있더라도 명제임
이것도 마찬가지인데 둘중 하나가 참이니까 참임
이전글 마지막 댓글 읽어 보셈
사진올림
저 사진속의 이거나는 포괄적 선언인데 네가 쓰는 이거나는 베타적 선언이라서 그럼
너가 쓰는 이거나는 or 이아니라 xor임 xor검색 ㄱㄱ
그럼 포괄적 선언이면 위 사진이 맞고 배타적 선언이면 두 개 다 틀려야 거짓인걸로 알면 돼?
근데 상식적으로 ‘대한민국 남자나 여자면 군대를 간다’는 거짓으로 보지 않음? 저 문장은 ‘대한민국 사람이면 군대를 간다’와 같은 의미인데 이것도 참임?? 직관적으로 납득이 안되노
'대한민국 남자와 대한민국여자' 는 '대한민국 사람' 과 동치인데 '대한민국 남자거나 대한민국여자'는 '대한민국 사람'과 동치가 아니라서 그래
'대한민국남자 거나 대한민국여자'는 베타적 선언이라서 하나만 포함해 그러니까 '대한민국남자 거나 대한민국여자'에 해당하는 조건은 '대한민국남자'만 해당하거나 '대한민국 여자'만 해당하거나 둘중에 하나만 해당하는거야, 남자만 해당했다가 여자만 해당하는식으로 변하지 않고 고정되서 그래서 '대한민국 사람'으로 치환하는건 부당함
포괄적 선언이더라도 둘다 해당했을때 참이라는 보장없인 마찬가지
나중에 술어논리 배우면 다시 번역해봐 명제논리에서 놓치는 것들이 몇개 있을거야
크다/작다의 경우 두 단어를 동시에 긍정하거나 부정하면 모순이 발생한다. 혹시 위에 문장이 명제로서의 형식은 갖추고 있어? 내가 저거 때매 질문한거거든. 만약 위 문장이 그저 통사적 구조일뿐이라면 논리학에서의 그런 건 적용을 못할 수도 있지 않나 싶어서.
ㅇㅇ 명제맞음 참이거나 거짓인 문장은 원자명제로 번역하는한이있더라도 명제임