이 논리 평가좀여..
∀x(Ex) : 모든것이 존재한다
부정형은
∃x(¬Ex) : 존재하지 않는것이 존재한다
"존재하지 않는것이 존재한다"가 모순이므로
부정형이 거짓이다
따라서 원명제 ∀x(Ex) 가 참이며
"모든것이 존재한다" 가 참이다
----------------------------------------------------------------------------
∀x : 모든 x에 대하여
T(x) : x가 참이다
∃x : 어떤 x가 존재한다
∀xT(x) : 모든것이 참이다
부정형은
∃x¬T(x) : 거짓인 것이 존재한다
부정형은 모순임 왜냐하면 "거짓"인것은 존재하지 않기 때문
따라서 원명제인
∀xT(x) : 모든것이 참이다
가 참
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진학사 기준입니다! [가군] 6칸(최초합) : 서울과기대 기시디 / 부산대 반도체...
-
소득 분위 산정도 새로 진행되나요? 2023 2학기가 마지막신청이고 2024...
-
대학 중 화장실은 고려대가 원탑이엇다 살면서 그렇게 깔끔한 화장실은 인천공항 정도...
-
https://orbi.kr/00060585006/칸수가-중요한게-아니라-실제등수가-...
-
꿈도 열정도 다 주고 싶어
-
맞팔할사람 8
ㄱ ㄱ. ㄱ ㄱ ㄲ
-
중앙대 뭐임 3
변표 막차라서 그런가 갑자기 관심쏠린거 같음 표본유입이랑 컷 오르는거 미쳤네 계속...
-
서강대 전자공 저거때문에 좀 끌리는데 성대 자전으로 들어가서 전전 들어가는 방법도...
-
표본 분석 0
매일 업뎃되면 등수가 바뀌잖아요. 전날 만들어둔 분석표에서 등수 변동 생기면 다들...
-
ㅇㅇ
-
지금보다 상황이 좋아졌을까 아니면 지금이랑 비슷했으려나
-
생지하고 이번엔 스탐런함 전적대에서도 전화기여서 일물이랑 일화 햇엇는데 벽느낌 ㅠㅠ...
-
2026 필수본 0
언제쯤 완강하나요?
-
휴..
-
가고싶다
-
국어 n제 추천 2
지금부터 시작해서 1학기까지 간쓸개같은 국어 n제 풀면서 감 유지 하고 싶은데 혹시...
-
여캐일러 투척 23
-
언제인가요??
-
cc로 못가나
-
시대 라이브 기간내에는 정규라이브 듣고 또 같은 영상 들을 수 있는건가요? 2
복습영상이랑 헷갈려서요
-
하 0
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅅㅂ
-
오르비처럼 본인 얼굴사진 올리면 인증됨?
-
3월 교육청을 학살 ㅋㅋ
-
내 꿈은 생명과학쪽인데 가군에 고대 낮공 쓸까 한양대 높공쓸까 고민됨.
-
정시로 14명 뽑고 실제 지원자 23명중에 1등이고 전체지원자 100명중에 8등임...
-
왜 계속 그냥 냅두는 거지? 성적표 미인증이라 얘가 진짜인지 아닌지 알 수가...
-
둘 중 순수 입결로만 놓고 보면 어디가 더 높은가요?
-
개 ㅆㅂ 철학과라도가고싶다
-
저번달에 너무 심심해서 한번 들어오고.. 한동안 까먹고 있다가 곧 정시...
-
근데 마실때 숨참아야돼 안그러면 기도 개뜨거움... 맛은 맥>고량주>>>소주
-
메가스터디 곽동령 선생님이 운영하고 계신 네이버밴드 영단어 추천드려요 아침7시에...
-
-
ㅈㄱㄴ
-
와씨 지금 시즌1보고있는데 개꿀잼이네,,,,ㅎㄷㄷ
-
스나 3
서울대381.4 0칸 고대학부대학 1칸 뭐쓸까요?
-
걍 시작 안 하려고 롤 방송 같은 거 제대로 못 즐기는 건 좀 아쉽긴 한데 그냥 안 하기로 했다
-
키빼몸 유행이던데 남자 키 183에 72-3키로면 어떰? 3
키빼몸 유행이라 적어봄 남자고 키 183에 72-3키로 유지하는데 어떰? 관리 개빡세게 하긴 함
-
진학사 기준 3칸 고속으로는 연한녹색이였나 50~79 %로 계산해주는데 왜 이렇게...
-
안정 하나를 다군에다가 박고싶은데 메디컬은 애매하고 걍 서강ai 쓸까
-
ㅈㄱㄴ
-
국어 : 93 (수능) -> 94 (6모) -> 95 (9모) 수학 : 92...
-
진학사 성적표 인증안해도 모의지원 바꿀 수 있나요? 3
어제도 그렇고 오늘도 미인증표본인데 업뎃끝나니깐 들어와있던데 성적표 인증을 안해도...
-
-
우석약 1
우석약이 젤 낮은 약대인가요?
-
교사들은 왜 7
정시파이터를 싫어할까요
-
https://orbi.kr/00070846789#c_70846844 증거임
-
진짜 ㅈㄴ피곤한데 이걸 어케하는거지 님들 ㄹㅇ대단함
-
둘 중 순수 입결로만 놓고 보면 어디가 더 높은가요?
-
47~50을 가장 고정적이고 안정적으로 받을 수 있는 과탐은 뭔가요? 1
등급컷이나 표점, 백분위 등 전혀 고려하지 않고요.
-
ㄱ.
대쿠리
애매어의 오류
‘존재하지 않는 것이 존재한다‘에서 전자 ‘존재‘와 후자 ‘존재‘의 대상이 다름
왜다른가요?
존재하지 않는 것이 존재한다는 말은 애매할 수 있음
어떤 것은 존재하지 않는다. 정도로 수정하는 것이 좋음
E(x)의 뜻이 "x가 존재한다"니까 부정하면 ¬Ex "x가 존재하지않는다" 아닌가요
양상 고려하셔요
좀더 고전적으로 가면 대당사각형이라도 들여다보시는게
무슨말씀이신지 이해가안됨.. 그냥부정형 저렇게 만든게 틀렸다는거임?
1. 모든 x에 대하여 x가 존재한다. 의 부정은 어떤 x가 부재한다.
2. ‘존재하지 않는 것이 존재한다‘에서 앞의 존재한다의 주어와 뒤의 존재한다의 주어가 다름.
집합론적 사고하십쇼
∃x의 뜻은 "어떤 x가 존재한다" 아닌가요
아 그건 맞음
아 근데 좀 애매함
제 꿈을 짓밟지마세요!!!!!!!!!!!!!
이게맞다
그리고 기호논리학 저렇게하는거아닌데
전 gpt랑 클로드하고 대화해서 부정형만드는거 배움
살아있었구나
하 크리스마스에 여친이랑 놀다 끝나니까 왔네
이거보고 당장 차단했다
그분인가
왕쿠리
또쿠리
걍 완벽한데요?
감사합니다 ㅠㅠ