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는 참인 명제입니다 더이상 분해되지 않습니다
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
131746 [질문] 후방추돌사고를 당했습니다. 대처 방법 좀 알려주세요ㅠ [10] 비오는거리3714 19/03/28 3714
131745 [질문] 압류 신청해야 하는데 하는방법을 알아볼려면 어떻게 하죠? [3] will2809 19/03/28 2809
131744 [질문] 아침 운동 하시는 분들께 질문 드립니다. [7] Specter2848 19/03/28 2848
131743 [질문] 잘 되던 가게가 왜 문을 닫을까요? [29] 하이요5762 19/03/28 5762
131742 [질문] 고시원(원룸)용 가성비 공기청정기 추천 부탁드립니다. [6] 삭제됨5032 19/03/28 5032
131741 [질문] 배달의 민족 배달팁 [5] 삭제됨8397 19/03/28 8397
131740 [질문] 선택약정이 끝나서 휴대폰을 사려고합니다! [2] 조현2993 19/03/28 2993
131739 [질문] 덧글보존 [49] 티타늄6367 19/03/28 6367
131738 [질문] 서울 종로 을지로 동대문 주변 주차편한 커피숍? [3] Part.33150 19/03/28 3150
131737 [질문] 유럽의 수돗물 관련 질문 [4] fhbtyjs3184 19/03/28 3184
131736 [질문] 엑셀이랑 ppt 쓰는데 맥북에어 구매문제 [6] WHIPLASH5954 19/03/27 5954
131735 [질문] 자기연민에서 어떻게 하면 벗어날 수 있을까요? [7] chldkrdmlwodkd3034 19/03/27 3034
131734 [질문] 전자앨범류 기기 추천부탁드립니다. [3] nomark2304 19/03/27 2304
131733 [질문] 스위치는 한국계정으로 온라인이 안되나요? [3] 쥬갈치2353 19/03/27 2353
131732 [질문] 영어(광둥어??) 듣기 능력자 분들께 질문입니다. [5] 안티안티2918 19/03/27 2918
131731 [질문] 오토체스 질문입니다. [4] 스토리북2875 19/03/27 2875
131730 [질문] LOL 어둠의 인도자 야스오 스킨 후회 안 하겠죠?? [7] Breguet5586 19/03/27 5586
131729 [질문] 이전 직장에서 낸 세금에 대한 연말정산 환급액은 이전 직장에서 입금받는 것인가요? [4] 코시엔3450 19/03/27 3450
131728 [질문] 인터파크 lck 예매 매크로판인가요? [21] 삭제됨4999 19/03/27 4999
131727 [질문] 간단한 명제 논리 질문입니다. [4] cheaterzz2104 19/03/27 2104
131726 [질문] 기계식 키보드(적축) 질문입니다. [10] wilen2634 19/03/27 2634
131725 [질문] 로그함수 편미분 질문하나만 부탁드려요 ㅠ [5] 꽃이나까잡숴5475 19/03/27 5475
131724 [질문] 동영상을 찾습니다~ [2] Flash1811 19/03/27 1811
목록 이전 다음
댓글

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