수리논리학에서 무모순성이라는게
게시글 주소: https://orbi.kr/00061181582
무슨 뜻이죠
공집합으로부터 모순이 도출되지 않는다는게..
건전성과 완전성의 차이도 잘 와닿지가 않네요
ㆍ논리체계가 건전하다는 것은 문장집합 G로부터 문장 ϕ가 도출되면, 문장 ϕ가 문장집합 G의 귀결이라는 것이다.
ㆍ논리체계가 완전하다는 것은 문장 ϕ가 문장집합 G의 귀결일 때, 문장집합 G로부터 문장 ϕ가 도출된다는 것이다.
ㆍ논리체계가 일관적이라는 것은 공집합으로부터 모순이 도출되지 않는다는 것이다. 이는 무모순성이라고도 표현한다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얼버기 0
-
저희엄마는 엄마차에 아빠 태우고 다니다가 눈맞았다는데 처음 들었는데 신기허네… 나도 차타고댕긴느데…
-
현역 수시에요 아직 아무것도 시작안했는데 기출먼저 해야 하는거 아닌가요..?
-
진찰받지 않는다
-
현역 정시 질문 1
내신 성적 4점대 초반 정시 전향한 학생입니다 모고성적이 국어는 항상 백분위99이상...
-
평형점에서 탄성력=중력, 물체의 운동에너지 최대 이 2가지 말고 더 쓸 수 있는...
-
단국대 학고반수 0
단국대 학고반수 예정인데 수강신청 대충 아무구나 주어 담고 학교 안가면 되나요?
-
자사고 6
자팔고 헤헤
-
하
-
현역이고 일단 공통만 들을라하는데 장단점 같은거 정해주실수 있나요ㅜ 시대는 쌤도 많으셔서 못정해서ㅜ
-
이미 몇 번 뵌 적 있는 선배님이라 반갑네요
-
???
-
질문하면 답변 가능하실까요 ?? 궁금한데 몇개 있어서
-
아공부시러 4
아시발 대학 한번에갈걸.... 아진짜공부존나하기싫다아아아
-
-
원작이던 드라마던 누가 봐도 세화여고 연상되게 네이밍 해놓고 학교를 무슨 싸이코...
-
사진에 저 상황이 구체적으로 무슨 상황인지는 영상을 안 봐서 모르겠는데 사진에 나온...
-
마스크껴야겠다
-
수분감 마더텅 0
마더텅만 있는데 수분감 사서 먼저 풀고 마더텅으로 부족한거 채워도돼요?? 아님 수분감만 풀어요?
-
대통령할거야 2
투표 ㄱㄱ
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
원글: https://orbi.kr/00072248045/ 요약:"발상적인 풀이...
-
아니 1
방금 아파트 어린이집 앞 지나가는데 내 허리만한 남자애가 엄마랑 가다가 나 보고...
-
다 때려치고 푹 쉬고싶다
-
반수를 해보고 느낀건데 10
6모 9모 수능은 전부 독립시행같음 난 9모때 국수 각각1틀에 탐구 다맞아가지고...
-
난 왜 살까 4
살아도 되는 거 맞나
-
원래 내가 전자제품 사는거 내돈으로 사도 부모님이 싫어하는데 부모님이 사주겠다고 함...
-
수분감만 n회독해도 기출은 문제없나요? 교사경이나 교육청 그런거풀려면 자이도 하는게나을려나
-
아 배고파 12
서율 도착하면 3신데 가서 머 먹지
-
입학식 갔음
-
헌재 “감사원의 선관위 채용 직무감찰은 권한 침해…헌법에 위배” 1
헌법재판소가 감사원이 헌법상 독립기구인 중앙선거관리위원회의 채용 특혜 의혹을 감사한...
-
갓?생
-
정보가 없어서요~~ ㅜㅜ
-
"고위직 자녀 합격에 일반 응시자 탈락"…선관위 채용 비리 적발 2
감사원, 채용 비리 연루 선관위 전·현직 32명 징계요구·비위통보 경력경쟁채용서...
-
윤석열 복귀하면 2
개헌한다네 중임제로 국회 권한도 축소시키고
-
두렵구만...
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 미리 하나 장만해두세요~~...
-
[단독] 北, 전사자 시신 인계 거부…'냉동·분쇄' 빙장 설비 찾는다 1
러시아에 2차로 대규모 파병을 한 북한이 우크라이나 전장에서 사망한 자국 군인들의...
-
점메추 4
제곧내
-
용산아이파크몰 미아 18
겨우 찾았네
-
노비츠키 어떰? 5
다들 명반이라는데
-
이게되네ㅋㅋ
-
오늘 점심은 10
사과입니다 ㅅㅂ ㅠㅠㅔㅣ
-
다이소 건기식이 약사에게 악재이긴 한데 이 자체로 치명적이라기 보다는 이로 인해...
-
솔직히 처음 1월 2월 초반에는 별 차이도 모르겠고 이게 맞나.. 싶었는데 2월...
-
근데 ㄴ은 없어요.
-
현역 이과고 공통 추천해주세요!
-
올해 선택과목 뭐 보지 10
뭔가 물2지2 하고 싶은데 이 시점에 물2를 하는게 맞나 싶네
-
일부러 개화같은거 연결성 떨어지게 내고 그 문장을 정확히 읽어야 8번(2번 개화당의...
-
이분이 알려주실 거래요
논리싫증주의자라 가르치는거엔 관심없으시다네요
쿠르트 괴델 이십니다 ㅋㅋㅋㅋ