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는 참인 명제입니다 더이상 분해되지 않습니다
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
131790 [질문] PGR에서 봤던 짤인데 너무 기억이 안납니다 도와주세요! [4] 싸우지마세요2791 19/03/29 2791
131789 [질문] 어벤저스: 엔드게임 관객수 얼마 예측하시나요? [31] possible5656 19/03/29 5656
131788 [질문] 당일 nba기록은 어디서 볼수있을까요? [9] 물리쟁이2458 19/03/29 2458
131787 [질문] 에어팟 2세대 블랙으로 나온다는 소문이 있던데 사실인가요? [6] 랜슬롯2870 19/03/29 2870
131786 [질문] 신발 세탁 해주는곳에 맡기면 잘해주나요? [5] 진인환2657 19/03/29 2657
131785 [삭제예정] 서울에서 비오는 날 놀만한 장소가 있을까요? [17] 현곰완둥옒4887 19/03/29 4887
131784 [질문] 헬스장 가기 1~2시간 전에 간단히 먹을 것 추천 부탁드립니다. [5] 이순신3106 19/03/29 3106
131783 [질문] 궁서체 폰트 라이센스 질문요~ [1] Mindow5568 19/03/29 5568
131782 [질문] 서울 안과 추천 [2] EPerShare2808 19/03/29 2808
131781 [질문] 친구 빙부(모)상에 가시나요? [11] 마리아 호아키나3789 19/03/29 3789
131780 [질문] 과천시민회관 옆 스타벅스는 왜 다른매장보다 맛이 좋을까요? [6] SuperBros3764 19/03/29 3764
131779 [질문] . [1] 삭제됨2232 19/03/29 2232
131778 [질문] 홍미노트7 & 포코폰 선택 장애에 걸렸습니다. [4] Eulbsyar2923 19/03/29 2923
131776 [질문] 블루투스 이어폰을 쓰면 스마트폰 티비 못보나요? [1] 제발조용히하세요2773 19/03/29 2773
131775 [질문] LOL 에서 가장 최악 챔피언 상성은 뭘까요? [20] 키류5789 19/03/29 5789
131774 [질문] 대학교 MT 불참 시 출석 불이익에 대해서.. [41] 쌀이없어요9514 19/03/28 9514
131772 [질문] 유선, 무선 이어폰 고민중인데 써보신분의 감상후기가 필요합니다! [13] U-Nya3830 19/03/28 3830
131771 [질문] 컴퓨터 견적 조언부탁드립니다. [10] 여유를갖자3855 19/03/28 3855
131770 [질문] 일본어 JLPT 질문입니다. [4] Specter2950 19/03/28 2950
131769 [질문] 민방위 처음으로 가야하는데요, [7] 레너블4087 19/03/28 4087
131768 [질문] 블리자드 요새 너무 조용한거 아닌가요?.. [8] v.Serum4480 19/03/28 4480
131767 [질문] 충북제천에 여행가면 뭘 먹고 어디를 가야할까요? [10] 송지효3236 19/03/28 3236
131766 [질문] 갤럭시s10e 알림이 이상합니다. [6] 귀여운호랑이4492 19/03/28 4492
목록 이전 다음
댓글

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