• 목록
  • 아래로
  • 위로

2021-10-31 01.33.27.jpg

 

이것도 벌써 재작년에 만든 이미지가 됐네요. 

 


 

0. 명제란? 

 

가치관 첨가 1나노그램도 없이 누구라도 참/거짓을 판단할 수 있으며 불린(True or False)을 결과값으로 갖는 문장이나 식을 의미합니다. 뭐 다른 의미도 많이 있긴 한데 여기서는 일단 중학교 수학시간에 배우는 명제와 역, 이, 대우에 대해 간단히 알아보겠습니다. 

 

누구라도 참/거짓을 판단할 수 있는 게 명제라고 했는데 이게 뭔 소리냐... '해는 동쪽에서 뜬다', 이거는 참이죠? '하루는 24시간이다', 이것도 참이죠? 그럼 x > 3은? 이거는 x의 값에 따라 참/거짓 여부가 달라지기 때문에 명제가 아닙니다. 그럼 '김치전은 맛있다'는요? 아 요거는... 맛있다는 게 사람에 따라 다릅니다. 어떤 사람은 김치전을 잘 먹지만, 매운맛에 예민한 사람들은 맵기만 하고 맛없다고 생각할 수도 있거든요. 물론 김치전 가장자리는 못참쥬 

 

1. 역, 이, 대우

 

명제를 보통 p이면 q이다로 쓸 때 

 

1) p이면 q이다 (명제)

2) q이면 p이다 (역) -> 명제의 순서를 뒤집는다

3) p가 아니면 q가 아니다(이) -> 명제를 통으로 부정한다

4) q가 아니면 p가 아니다(대우) -> 명제의 순서를 뒤집고 통으로 부정한다 

 

이렇게 됩니다. 명제를 뒤집는다는데 그것까지는 저도 잘 모르겠고... 나는 할머니라고 부르지만 고종사촌은 똑같은 할머니를 외할머니라고 부르는것처럼(고종사촌 입장에서는 엄마의 엄마이니 외할머니가 맞음) 역, 이, 대우 관계가 명제의 뭐냐에 따라 다릅니다. 이게 무슨 소리냐면 

 

1) 명제와 역은 서로 뒤집힌 관계입니다. 

2) 하지만 이의 입장에서 역은 이를 부정하고 순서를 뒤집은 것이기 때문에 대우입니다. 

3) 그리고 대우의 입장에서는 대우를 부정하면 역이 됩니다. 

 

image.png.jpg

그래서 이런 관계가 성립합니다. 어떤 명제를 뒤집은 것이 명제 입장에서는 역이지만, 대우의 입장에서는 이가 될 수도 있고 명제의 이 입장에서는 대우가 되기도 합니다. 그러니까 어떻게 했을 때 역이 되고, 이가 되고, 대우가 되는지를 알아두시는 게 좋습니다. 

 

중요한 건 어떤 명제가 참이면 그 대우도 참이라는 겁니다. 그리고 어떤 명제의 역이 참이면 그 명제의 이도 참입니다. 단, 어떤 명제가 참이라고 해서 그 명제의 역이 참이라는 보장은 없습니다.

 

1) 피카츄는 전기포켓몬이다 (명제)

2) 전기포켓몬은 피카츄이다 (역)

3) 피카츄가 아니면 전기포켓몬이 아니다 (이)

4) 전기포켓몬이 아니면 피카츄가 아니다 (대우) 

 

여기서 명제인 피카츄는 전기포켓몬이다가 참이기때문에(단일 전기타입) 대우인 전기포켓몬이 아니면 피카츄가 아니다도 참이 됩니다. 그런데 역은 참일까요? 전기포켓몬이 피카츄 말고도 많이 있기 때문에 거짓이네요. 당장 에레브나 찌리리공도 전기포켓몬이죠? 이게 거짓인지 애매하다면 명제의 이를 봅시다. 피카츄가 아니면 전기포켓몬이 아니라고 했는데 그럼 찌리리공은 전기포켓몬이 아닐까요? 에레브는 전기포켓몬이 아닐까요? 아뇨, 둘 다 전기타입이기 때문에 명제의 이가 거짓입니다. 따라서 이 명제의 역도 거짓임을 알 수 있죠. 그럼 또 다른 명제를 예시로 들어보겠습니다. 

 

1) 식물은 엽록체를 가지고 있다. (명제)

2) 엽록체를 가지고 있으면 식물이다. (역)

3) 식물이 아니면 엽록체를 가지고 있지 않다. (이)

4) 엽록체를 가지고 있지 않으면 식물이 아니다. (대우) 

 

1번... 식물 특유의 초록초록한 색의 비결은 엽록체입니다. 동물세포 액틴마냥 개근 단백질이라 풀때기는 이거 없으면 광합성을 못 해서 죽습니다. 그런데 이 엽록체를 식물만 가지고 있는 건 아닙니다. 시아노박테리아도 엽록체를 가지고 있어요. 따라서 이 명제의 역은 거짓이 되겠습니다. 시아노박테리아는 엽록체를 가지고 있지만 풀때기가 아니라 생존왕 미스터 박이거든요. 

 

rickroot님 포함 1명이 추천

추천인 1

작성자
국내산라이츄 104 Lv. (77%) 878200/882000EXP

인생은 양자역학이외다

댓글 6

제르엘
profile image

명제 지금은 고등학교 1학년 수학 시간에 배웁니다. 지금도 그러는지는 모르겠는데 저 땐 고1 때 제대로 배웠어요.

그러니까 대충 "빠르모트는 빠모트의 진화형이다"는 누구라도 참과 거짓을 명백히 판단할 수 있으니 명제고 "님피아는 사기 포켓몬이다"는 사용 목적, 배틀 유형, 사용하려는 작품, 사용하는 사람 등에 따라 그 평가가 달라질 수 있으니 명제가 아니겠군요. 특히 전자는 역, 이, 대우가 모두 참인 명제고요.

명제: 빠르모트는 빠모트의 진화형이다 - 빠르모트는 빠모트의 진화형이니 참
역: 빠모트의 진화형은 빠르모트다 - 빠모트의 진화형은 빠르모트밖에 없으니 참
이: 빠르모트가 아니면 빠모트의 진화형이 아니다 - 역과 마찬가지 이유로 참
대우: 빠모트의 진화형이 아니면 빠르모트가 아니다 - 명제의 대우이니 참

어... 근데 이게 맞나요...? 경제수학 교양 들었을 때에도 명제는 안 나왔어가지고 이게 맞는지 모르겠네요...

comment menu
2023.02.12. 00:37

신고

"제르엘님의 댓글"

이 댓글을 신고 하시겠습니까?

신고

"제르엘님의 댓글"

이 댓글을 신고 하시겠습니까?

국내산라이츄 작성자 → 제르엘
profile image
해당 명제의 대우는 빠모트의 진화형이 아니면 빠르모트가 아니다입니다.
comment menu
2023.02.12. 01:38

신고

"국내산라이츄님의 댓글"

이 댓글을 신고 하시겠습니까?

제르엘 → 국내산라이츄
profile image
아 실수했네요. 오랜만에 짱구 굴리다 보니 나사 빠진 게 한두 개가 아닌가 봅니다.
comment menu
2023.02.12. 01:40

신고

"제르엘님의 댓글"

이 댓글을 신고 하시겠습니까?

국내산라이츄 작성자 → 제르엘
profile image

저도 시그마 까먹었다능...
삼각함수는 진작 안녕히계세요 여러분 했습니다

comment menu
2023.02.12. 02:38

신고

"국내산라이츄님의 댓글"

이 댓글을 신고 하시겠습니까?

막시모 → 제르엘
profile image
전 명제배울때 .. 배우고 나서도 명제가 뭐야 할정도로 . 회깔리더라구요..
comment menu
2023.06.02. 16:15

신고

"막시모님의 댓글"

이 댓글을 신고 하시겠습니까?

권한이 없습니다.
번호 제목 글쓴이 날짜 조회 수
53 48. CAS번호에 대해 알아보시츄 1 image 국내산라이츄 국내산라이츄 24.07.08.22:49 720
52 47. 수소결합에 대해 알아보시츄 image 국내산라이츄 국내산라이츄 24.05.15.23:11 990
51 46. 유클리드 호제법에 대해 알아보시츄 image 국내산라이츄 국내산라이츄 24.02.12.01:20 923
50 45. blue white screening에 대해 알아보시츄 image 국내산라이츄 국내산라이츄 23.06.11.22:40 3296
49 44. 지수와 로그츄 3 image 국내산라이츄 국내산라이츄 23.05.06.22:27 1734
48 특별편: 도덕책 자가검진키트의 원리는 무엇인가... image 국내산라이츄 국내산라이츄 23.04.29.00:30 2500
47 43. 산화와 환원에 대해 알아보시츄 1 image 국내산라이츄 국내산라이츄 23.04.25.00:36 829
42. 명제에 대해 알아보시츄 6 image 국내산라이츄 국내산라이츄 23.01.26.04:08 11854
45 41. 볼티모어 분류에 대해 알아보시츄 image 국내산라이츄 국내산라이츄 22.10.23.00:30 12264
44 40. SI 접두어에 대해 알아보시츄 (+IUPAC 접두어) 2 image 국내산라이츄 국내산라이츄 22.10.10.00:11 1898
43 39. 불 대수와 논리게이트에 대해 알아보시츄 image 국내산라이츄 국내산라이츄 22.09.26.02:18 1794
42 38. 감마퐝숀이었츄 1 image 국내산라이츄 국내산라이츄 22.04.25.23:41 4192
41 특별편: 저세상 코드 등⭐장 image 국내산라이츄 국내산라이츄 22.01.14.17:07 6695
40 37. VCF file image 국내산라이츄 국내산라이츄 22.01.06.14:56 7681
39 36. Bradford assay였츄 4 image 국내산라이츄 국내산라이츄 21.12.28.12:12 2670
38 35. FASTA와 FASTAQ 파일이었츄 image 국내산라이츄 국내산라이츄 21.12.09.13:27 3313
37 34. 단백질이 접히는 과정츄 5 image 국내산라이츄 국내산라이츄 21.11.16.12:38 3536
36 33. 그래프 이론이었츄 4 image 국내산라이츄 국내산라이츄 21.11.12.12:56 1053
35 32. SMILES였츄 image 국내산라이츄 국내산라이츄 21.11.12.11:45 605
34 31. EC50과 IC50이었츄 12 image 국내산라이츄 국내산라이츄 21.10.31.23:32 2859