![[집합론] 1강. 명제와 논리](https://i.ytimg.com/vi/MvJvu2iUrNA/hqdefault.jpg)
콘텐츠
ㅏ 제안 그것은 완전한 의미를 가진 진술이며 가장 기본적인 형태의 논리를 구성합니다. 명제는 위조 가능한 사건에 대한 정보를 제공합니다. 즉, 거짓이거나 참일 수 있습니다. 예를 들면 : 지구는 평평합니다.
명제는 추론이 구축되는 기본 요소이며 이것이 과학 및 인식론 분야에서 널리 사용 된 이유입니다.
- 도움이 될 수 있습니다 : 단순 및 복합 문장
기도 또는 제안?
많은 경우 명제의 개념은 문장이나 진술의 개념과 혼동됩니다. 문장은 생각이나 의견을 표현하는 문법적으로 구성된 언어 적 표현이고, 명제는 논리와 관련된 생각이며, 반드시 대상을 결정하는 기능을 수행하는 주제 개념을 가지고 있습니다.
명제에는 거의 항상 영구 또는 임시 상태를 나타내는 동사 "ser"또는 "estar"가 있습니다.
명제 유형
명제 분류에는 여러 가지 기준이 있습니다.
- 범용 / 특수. 아리스토텔레스에 따르면, 주체가 특정 확장에서 취해질 때 특성과 특정 명제를 충족하는 모든 요소에 대해 상태가 일반화되는 보편적 명제가 있습니다.
- 부정적 / 긍정적. 그들은 상황의 상태 (긍정적 인 것) 또는 그 상태의 부재 (부정적인 것)를 표현합니다.
- 단순 / 복합. 복합 명제는 가장 광범위하고 복잡하지만 단순 명제는 가장 짧고 가장 직접적이며 일반적으로 주제, 대상 및 동사 "is"를 포함합니다.
간단한 명제
그만큼 간단한 명제 그것들은 가장 단순한 상태, 즉 동사 "is"의 대상과 주제를 결합하여 상태를 표현하는 것들입니다. 그것들은 수학 분야와 다른 분야 모두에 존재하며 어떤 식 으로든 명제를 조건화하는 용어가 없다는 특징이 있습니다. 예를 들면 : 벽이 파란색이에요.
복합 명제
그만큼 복합 명제 어떤 종류의 커넥터의 존재에 의해 매개되는 것처럼 보이며 반대의 경우 (또는), 더하기 (그리고, e) 또는 조건 (예). 또한, 단어를 포함하는 부정적인 명제 아니.
이것은 복합 명제에서 주체와 대상 사이의 관계가 일반적인 방식으로 발생하지 않고 연결자의 존재에 따라 이루어짐을 설명합니다. 그것은 다른 일이 발생할 때만 성취 될 수 있고, 그와 다른 사람들을 위해 성취 될 수 있거나 성취 될 수 있습니다. 모두 중 하나입니다.
간단한 명제의 예
- 9와 27은 81의 인수입니다.
- 그 상자는 나무로 만들어졌습니다.
- 영원한 것은 없다.
- 클래식 음악은 세계에서 가장 오래된 음악입니다.
- 짝수는 2로 나눌 수 있습니다.
- 러시아의 수도는 모스크바입니다.
- 그 여자는 내 친구 야.
- 오후 3시, 26 분입니다.
- 육식 동물은 식물을 먹습니다. (거짓 명제)
- 제 이름은 Fabian입니다.
- 비가 온다.
- 숫자 1은 자연수입니다.
- 이 나라의 여름은 매우 덥습니다.
- 내일은 수요일입니다.
- 숫자 6은 숫자 17보다 작습니다.
- 오늘은 10 월 7 일입니다.
- 그의 고양이는 갈색입니다.
- 오빠가 파스타를 팔아요.
- 지구는 평평합니다.
- Mario Vargas Llosa는 중요한 작가입니다.
복합 명제의 예
- 파워 스티어링이 있으면 차를 운전할 수 있습니다.
- Gabriel García Márquez는 훌륭한 작가이자 댄서였습니다.
- 세포는 원핵 또는 진핵 세포입니다.
- 25의 제곱근은 5 또는 -5입니다.
- 모든 소수가 홀수는 아닙니다.
- 제 처남은 건축가이자 엔지니어입니다.
- 기술 도구는 검은 색, 흰색 또는 회색입니다.
- 배가 고프면 요리를합니다.
- 터키는 아시아와 유럽에 위치한 국가입니다.
- 두 다리의 제곱의 합은 직각 삼각형 인 경우 빗변의 제곱과 같습니다.
- 고래는 빨간색이 아닙니다.
- 가장 큰 숫자는 1,000,000이 아닙니다.
- 양이 풀을 먹으면 초식성입니다.
- 입찰자 및 신청자에 대한 정보가 완전하지 않으면 시장 실패입니다.
- 비가 내리고 덥습니다.
- 우리 깃발은 흰색과 파란색입니다.
- 9는 45의 제수이고 3은 9와 45의 제수입니다.
- Marcos는 수영이나 등산에 전념하고 있습니다.
- 숫자 6은 3보다 크고 7보다 작습니다.
- 나는 그리스와 모로코에서 모든 휴가를 보냈습니다.
형식 과학의 명제
명제에 대한 질문은 수학이 두드러지는 형식 과학 분야의 기본입니다. 일반적으로 볼 수있는 것은 숫자, 연산 및 방정식이지만 기본적으로 모든 것이 입증되어야하는 명제를 바탕으로 만들어진 시연에 의해 지원됩니다.
일련의 명제는 일련의 공리, 추론 규칙 및 논리적 해석과 상호 관련 될 때 증거가됩니다. 후자는 수학자의 기본 작업입니다.
- 계속 : 양극성 문장
