수학에서 사물을 판단하는 진술문은 일반적으로 명제라고 하는데, 명제는 판단 (진술) 의 의미 (실제 표현의 개념) 를 가리킨다.
정의는 원래 사물의 가치에 대한 명확한 묘사를 가리킨다. 수학의 미지수 할당과 맞먹는다. 예를 들어, "미지수를 알려진 문자 X 로 설정하여 계산을 간소화하라" 는 것은 명명어에 일정한 의미나 이미지를 부여하여 의사 소통에서 식별과 식별에 도움이 된다.
2. 기능
명제: 사물을 판단하는 데 사용되는 진술; 진위를 판단할 수 있는 진술 일반적으로 수학에서 우리는 언어, 기호 또는 공식으로 표현된 명제의 진위를 판단할 수 있는 진술문을 진술문이라고 부른다. 그중에서 진으로 판단된 문은 진명제라고 하고 거짓으로 판단된 문은 위명제라고 한다.
정의: 사물의 본질적 특성이나 개념의 내포와 외연을 정확하게 표현하는 데 사용된다. 가장 대표적인 정의는' 종 차이+속' 의 정의다. 즉, 한 개념을 그 띠 개념에 포함시키고, 같은 띠 개념 아래 다른 개념과의 차이를 드러낸다.
확장 데이터:
명제의 분류:
1, 원래 명제: 하나의 명제 자체를 원래 명제라고 합니다. 예를 들어, x> 1, f (x) = (x- 1) 2 단조로움
2. 역명제: 원명제의 조건과 결론과는 반대되는 새로운 명제. 예를 들어 f (x) = (x- 1) 2 가 단조롭게 증가하면 x> 1 입니다.
3. 무명제: 원명제의 조건과 결론을 완전히 부정하지만 조건과 결론순서를 바꾸지 않는 새로운 명제 (예: X
4. 부정명제: 원명제의 조건과 결론을 거꾸로 뒤집은 다음 f (x) = (x- 1) 2 가 단조롭게 증가하지 않으면 x < =/kloc-0
바이두 백과-정의
바이두 백과-명제