"명제 논리"라는 용어를 결정하려면 "명제"가 무엇인지 명확하게 이해할 필요가 있습니다.
그래서 성명서는문장은 문법적으로 정확하고 틀리거나 진실합니다. 이 개념은 특정 의미를 표현해야합니다. 예를 들어 "canary is a bird"라는 표현은 "canary"및 "bird"와 같은 구성 요소를 포함합니다.
이것이 논리의 핵심 개념 중 하나가 진술 인 이유입니다. 이 개념은 무언가 또는 부정의 진술이있을 특정한 상황을 기술해야한다.
이 진술은 상황을 설명 할 때 상황의 실재가 기술되어 있다면 진실한 것으로 간주됩니다. 그 자체로 "거짓"과 "진리"는 진술의 진리를 결정합니다.
문장의 논리는 단순하고복잡한 표현. 따라서, 합성에 다른 표현을 포함하지 않는 간단한 문장은 단순한 것으로 간주됩니다. 그리고 복잡한 것에 대한 표현은 단순하고 논리적으로 관련된 문장에서 얻어집니다.
발언의 고전적 논리는공제에 대한 일반적인 이론으로 표현됩니다. 이것은 정확하게 발화 구조와는 독립적 인 간단한 표현의 논리적 연결이 기술 된 논리의 일부입니다.
결합 - 복합체는 말할 것도없이 불가능합니다.두 개의 간단한 표현식을 단어 "and"와 결합하여 얻은 문장. 결합의 진실은 그 구조에 포함 된 모든 진술의 신뢰성에 의해 확인됩니다. 적어도 하나의 구성원이 거짓 인 경우, 전체 합동자는 "거짓"표시를 갖습니다.
연결 자체는 그러한 가정에 기반한 복잡한 문장을 형성합니다.
- 모든 표현식 (단순형과 복합 형 모두)은 true 또는 false 일 수 있습니다.
- 복잡한 진술의 진실은 진술의 진실과 그것에 포함 된 논리적 인 연결에 직접적으로 달려있다.
두 문장을 연결할 때"또는"이라는 단어는 이미 분리되어 있습니다. 일상 생활에서이 개념은 두 가지 의미의 관점에서 볼 수 있습니다. 첫째, 두 표현 중 하나가 사실인지 아니면 둘 다인지에 관계없이 표현의 진실을 암시하는 비 독점적 인 의미입니다. 둘째, 독점적 인 의미는 표현 중 하나가 참이고 다른 하나는 거짓임을 나타냅니다.
명제 논리의 공식은 특수한 것을 포함합니다.자. 따라서, 분리 기호에 V는 표현식이 true 있음을 나타냅니다 경우 문 중 적어도 하나 둘 그녀의 거짓 성기 경우는 false의 진리.
암시를 결정할 때성명서의 근거가 거짓 결과로 진실 일 수 없다는 주장. 다시 말해,이 개념은 표현의 진실성이나 허위의 구성 요소의 의미와 연결 방법에 대한 의존성을 가정합니다.
그 의미가 매우 유용하다는 사실에도 불구하고일부 목적을 위해, 그것은 일반적인 용어로 조건부 관계의 이해와 일치하지 않는다. 따라서, 발화의 논리적 인 행동의 많은 중요한 특징들을 포괄하면서,이 개념은 적절한 설명이 될 수 없다.
진술의 논리는 그러한 문제를 해결하기위한 것입니다.중앙 작업, 이전의 추론과 체계화의 옳고 그른 계획의 분리로서. 올바른 결과를 얻으려면 특정 형식을 나타내는 특수 기호에주의를 기울여야합니다. 따라서 처음에는 중요하지 않은 "또는", "및"등의 단어에 대한 관심이 표시됩니다.
문장의 논리는 다음과 같은 요소로 구성된 자체 언어조차 가지고 있습니다 :
- 초기 기호 - 변수, 논리적 정수 및 기술 기호;
- 수식.
말한 것을 더 잘 이해하기 위해 구체적인 예를 들어야합니다. 예를 들어, 연결 기호는 & 기호, 분리 기호 - 또는 º / 기호를 사용합니다.
