"명제"의 두 판 사이의 차이

2019년 3월 1일 (금) 11:51 기준 최신판

1 개요[ | ]

proposition
命題
명제, 명제문

진위를 판별할 수 있는 문장
논리학적으로 뜻이 분명한 문장
참·거짓을 명확히 판별할 수 있는 문장 또는 식
그 내용이 참인지 거짓인지를 명확하게 판별할 수 있는 문장
논리적으로 참이거나 거짓으로 판단될 수 있는 주장을 언어 또는 기호로 표시한 것
단순명제 + 합성명제

2 예시[ | ]

소크라테스는 사람이다. (참)
일본의 수도는 파리이다. (거짓)
[math]\displaystyle{ 6 \times 2 = 12 }[/math]이다. (참)
[math]\displaystyle{ x=3 }[/math] 이면 [math]\displaystyle{ x^2=9 }[/math] 이다. (참)
0이 홀수라면, 1은 짝수이다. (참)
0이 홀수라면, 2는 짝수이다. (참)
67280421310721이 소수(prime number)라면, 2는 짝수이다. (참)
67280421310721이 소수(prime number)가 아니라면, 2는 짝수이다. (참)

3 명제가 아닌 것 예시[ | ]

소크라테스는 누구인가?
저곳으로 가라.
재즈 음악은 아름답다.
[math]\displaystyle{ x + 3 = 7 }[/math] 이다.

4 가정과 결론[ | ]

가정 (assumption) 문서를 참고하십시오.

결론 문서를 참고하십시오.

[math]\displaystyle{ x=2 }[/math]이면 [math]\displaystyle{ 2x-3=1 }[/math]이다

가정: [math]\displaystyle{ x=2 }[/math]

결론: [math]\displaystyle{ 2x-3=1 }[/math]

두 원의 넓이가 같으면 합동이다.

가정: 두 원의 넓이가 같다.

결론: 두 원은 합동이다.

5 같이 보기[ | ]

6 참고[ | ]

@@ 1번째 줄: / 1번째 줄: @@
 ==개요==
 ;proposition
+;[[命]][[題]]
 ;명제, 명제문
+*진위를 판별할 수 있는 문장
 *논리학적으로 뜻이 분명한 문장
+*참·거짓을 명확히 판별할 수 있는 문장 또는 식
 *그 내용이 참인지 거짓인지를 명확하게 판별할 수 있는 문장
+*논리적으로 참이거나 거짓으로 판단될 수 있는 주장을 언어 또는 기호로 표시한 것
 *[[단순명제]] + [[합성명제]]
 ==예시==
-*소크라테스는 사람이다. (참)
+* 소크라테스는 사람이다. (참)
-*일본의 수도는 파리이다. (거짓)
+* 일본의 수도는 파리이다. (거짓)
-*6 × 2 = 15이다. (참)
+* <math>6 \times 2 = 12</math>이다. (참)
+* <math>x=3</math> 이면 <math>x^2=9</math> 이다. (참)
+* 0이 홀수라면, 1은 짝수이다. (참)
+* 0이 홀수라면, 2는 짝수이다. (참)
+* 67280421310721이 소수(prime number)라면, 2는 짝수이다. (참)
+* 67280421310721이 소수(prime number)가 아니라면, 2는 짝수이다. (참)
+==명제가 아닌 것 예시==
+*소크라테스는 누구인가?
+*저곳으로 가라.
+*재즈 음악은 아름답다.
+*<math>x + 3 = 7</math> 이다.
+==가정과 결론==
+{{참고|가정 (assumption)}}
+{{참고|결론}}
+*<math>x=2</math>이면 <math>2x-3=1</math>이다
+:가정: <math>x=2</math>
+:결론: <math>2x-3=1</math>
+*두 원의 넓이가 같으면 합동이다.
+:가정: 두 원의 넓이가 같다.
+:결론: 두 원은 합동이다.
 ==같이 보기==
-*[[가설]]
+* [[역(converse)]]
-*[[가정]]
+* [[이]]
-*[[역설]]
+* [[가설]]
-*[[논리식]]
+* [[가정 (assumption)]]
-*[[진리값]]
+* [[결론]]
-*[[질문]]
+* [[역설]]
-*[[대우]]
+* [[질문]]
-*[[역]]
+* [[대우]]
-*[[이]]
+* [[증명]]
-*[[증명]]
+* [[조건]]
+* [[반례]]
+* [[논리식]]
+* [[진리값]]
+* [[참, 거짓]]
-==참고 자료==
+==참고==
+*http://simple.wikipedia.org/wiki/Proposition
 *http://terms.naver.com/entry.nhn?docId=1093258&cid=200000000&categoryId=200000014
-[[분류: 논리]]
+[[분류: 명제]]
+[[분류: 命]][[분류: 題]]