PGR21.com
- PGR21 관련된 질문 및 건의는 [건의 게시판]을 이용바랍니다.
- (2013년 3월 이전) 오래된 질문글은 [이전 질문 게시판]에 있습니다.
통합 규정을 준수해 주십시오. (2015.12.25.)
Date 2019/03/27 17:54:22
Name cheaterzz
Subject [질문] 간단한 명제 논리 질문입니다.
모든 명제는 조건-> 조건으로 바꾸어서 표현 가능한가요??

만약 표현이 된다면 2x-1=0을 만족하는 실수 x가 존재한다라는 명제를 조건->조건으로 바꾸면 어떻게 바꿀수 있나요?

그리고 조건->조건으로 바꿀수 있다면, 모든 명제는 진리집합을 이용해서 참 거짓을 판별 할 수 있나요?

통합규정 1.3 이용안내 인용

"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.
법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
GregoryHouse
19/03/27 18:33
수정 아이콘
명제는 참과 거짓을 구분가능
명제->명제 는 명제
모든 명제는 명제->명제 로 표현가능하지는 않음
조건이라는 표현이 잘못된것 같은데 질문의 의도를 더 설명해주셔야 더 자세한 답변이 가능할 것 같습니다
cheaterzz
19/03/27 18:43
수정 아이콘
명제:참과 거짓을 구분가능
조건(명제함수):변수값에 따라 참과 거짓이 바뀜
이라고 저는 알고 질문한거였습니다.
x-2 = 0 이 문장은 명제는 아니지만 조건입니다.
x-2=0 이면 x^2-4 = 0 이다. 라는 명제가 제가 말한 조건->조건으로 구성되어 있는 명제 입니다.
예를 들어 한국은 아시아대륙에 있다 라는 명제는
x가 한국이면 x는 아시아 대륙이다 라는 조건-> 조건으로 바꾸어서 표현을 할 수 있는데 (x는 한국이다: 명제x 조건o)
모든 명제를 조건->조건으로 바꿀수 있는지 궁금합니다.
GregoryHouse
19/03/27 20:02
수정 아이콘
배운지 오래되고 영어로만 배워서 헷갈렸나 봅니다
조건이 조건명제(CP)라면 모든 명제를 CP->CP로 바꾸는 것은 불가능합니다.
there exists x such that CP 형태의 명제는 단순명제로 알고있습니다. 따라서 본문 예시는 CP->CP 형태로 표현되지 않습니다.
GregoryHouse
19/03/27 20:04
수정 아이콘
좀더 명확한 예를 생각해보면 true는 참인 명제입니다 더이상 분해되지 않습니다
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
131759 [질문] 충치 치료를 빨리 해야 할까요? [6] 요플레마싯어3745 19/03/28 3745
131757 [질문] 강아지 선물 관련 질문입니다. [4] Lue2285 19/03/28 2285
131755 [질문] [해외축구] 라모스vs네스타는 누가 위로 평가받나요? [8] 톰가죽침대3887 19/03/28 3887
131754 [질문] 롤 로딩화면 넘어갈때 마우스 감도 [3] mcu4304 19/03/28 4304
131753 [질문] 프린터 수리(?) 관련 질문입니다 [2] 저팔계2926 19/03/28 2926
131751 [질문] 에어프라이어로 고추장삽겹살 굽는 방법 [5] hoho9na4584 19/03/28 4584
131750 [질문] 마우스감도가 갑자기 이상해진 경우는 왜그런가요? [1] 삭제됨3936 19/03/28 3936
131748 [질문] 3인용 소파베드 사용하시는 분들 계신가요? [7] 소이밀크러버3057 19/03/28 3057
131747 [질문] 데스크탑 견적 조언 부탁드립니다. [6] Danpat3645 19/03/28 3645
131746 [질문] 후방추돌사고를 당했습니다. 대처 방법 좀 알려주세요ㅠ [10] 비오는거리3717 19/03/28 3717
131745 [질문] 압류 신청해야 하는데 하는방법을 알아볼려면 어떻게 하죠? [3] will2811 19/03/28 2811
131744 [질문] 아침 운동 하시는 분들께 질문 드립니다. [7] Specter2850 19/03/28 2850
131743 [질문] 잘 되던 가게가 왜 문을 닫을까요? [29] 하이요5772 19/03/28 5772
131742 [질문] 고시원(원룸)용 가성비 공기청정기 추천 부탁드립니다. [6] 삭제됨5033 19/03/28 5033
131741 [질문] 배달의 민족 배달팁 [5] 삭제됨8398 19/03/28 8398
131740 [질문] 선택약정이 끝나서 휴대폰을 사려고합니다! [2] 조현2995 19/03/28 2995
131739 [질문] 덧글보존 [49] 티타늄6373 19/03/28 6373
131738 [질문] 서울 종로 을지로 동대문 주변 주차편한 커피숍? [3] Part.33157 19/03/28 3157
131737 [질문] 유럽의 수돗물 관련 질문 [4] fhbtyjs3190 19/03/28 3190
131736 [질문] 엑셀이랑 ppt 쓰는데 맥북에어 구매문제 [6] WHIPLASH5962 19/03/27 5962
131735 [질문] 자기연민에서 어떻게 하면 벗어날 수 있을까요? [7] chldkrdmlwodkd3036 19/03/27 3036
131734 [질문] 전자앨범류 기기 추천부탁드립니다. [3] nomark2306 19/03/27 2306
131733 [질문] 스위치는 한국계정으로 온라인이 안되나요? [3] 쥬갈치2357 19/03/27 2357
목록 이전 다음
댓글

+ : 최근 1시간내에 달린 댓글
+ : 최근 2시간내에 달린 댓글
맨 위로