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는 참인 명제입니다 더이상 분해되지 않습니다
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
131751 [질문] 에어프라이어로 고추장삽겹살 굽는 방법 [5] hoho9na4566 19/03/28 4566
131750 [질문] 마우스감도가 갑자기 이상해진 경우는 왜그런가요? [1] 삭제됨3928 19/03/28 3928
131748 [질문] 3인용 소파베드 사용하시는 분들 계신가요? [7] 소이밀크러버3048 19/03/28 3048
131747 [질문] 데스크탑 견적 조언 부탁드립니다. [6] Danpat3631 19/03/28 3631
131746 [질문] 후방추돌사고를 당했습니다. 대처 방법 좀 알려주세요ㅠ [10] 비오는거리3707 19/03/28 3707
131745 [질문] 압류 신청해야 하는데 하는방법을 알아볼려면 어떻게 하죠? [3] will2803 19/03/28 2803
131744 [질문] 아침 운동 하시는 분들께 질문 드립니다. [7] Specter2843 19/03/28 2843
131743 [질문] 잘 되던 가게가 왜 문을 닫을까요? [29] 하이요5724 19/03/28 5724
131742 [질문] 고시원(원룸)용 가성비 공기청정기 추천 부탁드립니다. [6] 삭제됨5022 19/03/28 5022
131741 [질문] 배달의 민족 배달팁 [5] 삭제됨8388 19/03/28 8388
131740 [질문] 선택약정이 끝나서 휴대폰을 사려고합니다! [2] 조현2987 19/03/28 2987
131739 [질문] 덧글보존 [49] 티타늄6351 19/03/28 6351
131738 [질문] 서울 종로 을지로 동대문 주변 주차편한 커피숍? [3] Part.33129 19/03/28 3129
131737 [질문] 유럽의 수돗물 관련 질문 [4] fhbtyjs3174 19/03/28 3174
131736 [질문] 엑셀이랑 ppt 쓰는데 맥북에어 구매문제 [6] WHIPLASH5941 19/03/27 5941
131735 [질문] 자기연민에서 어떻게 하면 벗어날 수 있을까요? [7] chldkrdmlwodkd3023 19/03/27 3023
131734 [질문] 전자앨범류 기기 추천부탁드립니다. [3] nomark2297 19/03/27 2297
131733 [질문] 스위치는 한국계정으로 온라인이 안되나요? [3] 쥬갈치2339 19/03/27 2339
131732 [질문] 영어(광둥어??) 듣기 능력자 분들께 질문입니다. [5] 안티안티2913 19/03/27 2913
131731 [질문] 오토체스 질문입니다. [4] 스토리북2870 19/03/27 2870
131730 [질문] LOL 어둠의 인도자 야스오 스킨 후회 안 하겠죠?? [7] Breguet5576 19/03/27 5576
131729 [질문] 이전 직장에서 낸 세금에 대한 연말정산 환급액은 이전 직장에서 입금받는 것인가요? [4] 코시엔3445 19/03/27 3445
131728 [질문] 인터파크 lck 예매 매크로판인가요? [21] 삭제됨4988 19/03/27 4988
목록 이전 다음
댓글

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