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는 참인 명제입니다 더이상 분해되지 않습니다
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
131742 [질문] 고시원(원룸)용 가성비 공기청정기 추천 부탁드립니다. [6] 삭제됨5021 19/03/28 5021
131741 [질문] 배달의 민족 배달팁 [5] 삭제됨8388 19/03/28 8388
131740 [질문] 선택약정이 끝나서 휴대폰을 사려고합니다! [2] 조현2987 19/03/28 2987
131739 [질문] 덧글보존 [49] 티타늄6349 19/03/28 6349
131738 [질문] 서울 종로 을지로 동대문 주변 주차편한 커피숍? [3] Part.33126 19/03/28 3126
131737 [질문] 유럽의 수돗물 관련 질문 [4] fhbtyjs3173 19/03/28 3173
131736 [질문] 엑셀이랑 ppt 쓰는데 맥북에어 구매문제 [6] WHIPLASH5939 19/03/27 5939
131735 [질문] 자기연민에서 어떻게 하면 벗어날 수 있을까요? [7] chldkrdmlwodkd3021 19/03/27 3021
131734 [질문] 전자앨범류 기기 추천부탁드립니다. [3] nomark2295 19/03/27 2295
131733 [질문] 스위치는 한국계정으로 온라인이 안되나요? [3] 쥬갈치2338 19/03/27 2338
131732 [질문] 영어(광둥어??) 듣기 능력자 분들께 질문입니다. [5] 안티안티2913 19/03/27 2913
131731 [질문] 오토체스 질문입니다. [4] 스토리북2869 19/03/27 2869
131730 [질문] LOL 어둠의 인도자 야스오 스킨 후회 안 하겠죠?? [7] Breguet5576 19/03/27 5576
131729 [질문] 이전 직장에서 낸 세금에 대한 연말정산 환급액은 이전 직장에서 입금받는 것인가요? [4] 코시엔3444 19/03/27 3444
131728 [질문] 인터파크 lck 예매 매크로판인가요? [21] 삭제됨4988 19/03/27 4988
131727 [질문] 간단한 명제 논리 질문입니다. [4] cheaterzz2096 19/03/27 2096
131726 [질문] 기계식 키보드(적축) 질문입니다. [10] wilen2627 19/03/27 2627
131725 [질문] 로그함수 편미분 질문하나만 부탁드려요 ㅠ [5] 꽃이나까잡숴5452 19/03/27 5452
131724 [질문] 동영상을 찾습니다~ [2] Flash1802 19/03/27 1802
131723 [질문] 와콤 패드를 사용해 수업을 들으며 PDF에 필기를 할 수 있을까요? [8] Kanoth6831 19/03/27 6831
131722 [질문] 윈도우10홈 DSP 설치 관련 질문 [2] 대발2721 19/03/27 2721
131721 [질문] 롤챔스 포스트시즌 bo??? [4] 미카엘2338 19/03/27 2338
131720 [질문] 사무실 벽이 허전한데 어떻게 꾸미는게 좋을까요? [3] banelingMD1849 19/03/27 1849
목록 이전 다음
댓글

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