복잡한 판단의 개념은 연결, 분리, 함축, 등가 및 부정.

이들은 소위 논리 링크입니다. 그것들은 하나의 간단한 명제를 다른 명제와 연결하는 통합 링크로 사용됩니다. 이것이 복잡한 문장이 형성되는 방식입니다. 그건 복잡한 판단두 가지 단순한 판단에서 만들어진 판단입니다.

판단의 진실 비율이 표에 표시됩니다. 이 표들은 판단의 참과 거짓에 대한 가능한 모든 경우를 반영하고, 복잡한 판단을 구성하는 각각의 단순한 판단은 문자 형태로 표의 "머리글"에 반영됩니다(예: ㅏ,비). 참 또는 거짓은 문자 "I" 또는 "L"(각각 참 및 거짓)의 형태로 반영됩니다.

접속사, 분리사, 함축사, 등가사, 부정사를 고려하기 전에 간단히 설명하는 것이 이치에 맞다. 이러한 논리 연결을 논리 상수라고 합니다.

문헌에서 논리 상수라는 다른 이름을 찾을 수 있지만 이것이 본질을 바꾸지는 않습니다. 우리 언어에서 이러한 상수는 특정 단어로 표현됩니다. 따라서 접속사는 "yes", "but", "although", "but", "and"등의 조합으로 표현되고 분리는 "or", "or"등의 조합으로 표현됩니다. 우리는 접속사에 포함된 간단한 명제 둘 다 참이면 접속사의 참에 대해 이야기할 수 있습니다. 단 하나의 단순한 명제만이 참일 때 분리는 참입니다. 이것은 엄격한 분리를 의미하는 반면, 비엄격 분리는 구성 요소 단순 판단 중 적어도 하나가 참인 경우 참입니다. 하나의 경우를 제외하고 함축은 항상 참입니다.

위의 내용을 더 자세히 살펴 보겠습니다.

접속사 (a^b)- 이것은 단순한 판단을 복잡한 판단으로 연결하는 방법으로, 결과 판단의 진리는 복합 판단의 진리에 직접적으로 의존합니다. 그러한 판단의 참은 단순한 판단(a와 b 모두)이 모두 참일 때만 달성됩니다. 이러한 판단 중 적어도 하나가 거짓이면 그로부터 형성된 새롭고 복잡한 판단도 거짓으로 인식되어야 합니다. 예를 들어, "이 차는 품질이 매우 우수하고(a) 겨우 10,000미터를 달렸습니다(b)"라는 명제에서 진실은 오른쪽과 왼쪽 모두에 달려 있습니다. 두 개의 단순한 명제가 모두 참이면, 그들로부터 형성된 복잡한 명제 또한 참입니다. 그렇지 않으면(단순 명제 중 적어도 하나가 거짓인 경우) 거짓입니다. 이 판단은 특정 자동차의 특성입니다. 단순한 명제 중 하나의 거짓은 분명히 다른 명제의 참을 배제하지 않으며, 이것은 접속사의 도움으로 형성된 복잡한 명제의 참을 결정하는 것과 관련된 오류로 이어질 수 있습니다. 물론 하나의 단순 명제의 참이 다른 명제의 허위에 의해 배제되는 것은 아니지만, 우리는 대상을 특징짓고 있다는 점을 잊어서는 안 되며, 이러한 관점에서 단순 명제 중 하나의 허위는 다른 단순 명제에서 고려됩니다. 옆. 이는 이 특성의 한 지점에 대한 판단의 허위로 인해 특성 전체가 거짓이 되기 때문입니다(즉, 기계 전체에 대한 잘못된 정보의 전송으로 이어짐).

분리(a V 비)엄격하고 엄격하지 않습니다. 이 두 가지 분리 유형의 차이점은 다음과 같습니다. 엄격하지 않은 형식으로그 구성원은 상호 배타적이지 않습니다. 비엄격 분리의 예는 다음과 같습니다. 분명히 여기서 a는 b를 배제하지 않으며 그 반대도 마찬가지입니다. 이러한 복잡한 판단의 진리는 다음과 같은 방식으로 구성원의 진리에 달려 있습니다. 두 구성원이 모두 거짓이면 이들을 통해 형성된 이접적 판단도 거짓으로 간주됩니다. 그러나 단 하나의 단순한 명제가 거짓이라면 그러한 분리는 참으로 인식된다.

엄격한 분리(엄격하지 않은 분리와 달리) 구성원이 서로를 배제한다는 사실이 특징입니다. "오늘 나는 숙제를 할거야 (a) 또는 밖에 산책하러 갈거야 (b)"라는 판단은 강한 분리의 예입니다. 실제로 지금은 한 가지만 할 수 있습니다. 숙제를하거나 산책을하고 나중에 수업을 떠납니다. 따라서 엄격한 분리는 포함된 단순 명제 중 하나만 참인 경우에만 참입니다. 이것은 엄격한 분리가 참인 유일한 경우입니다.

동등한교육받은 복잡한 명제는 구성을 구성하는 두 개의 단순 명제가 모두 참인 경우에만 참이고, 두 명제가 모두 거짓이면 거짓이라는 사실이 특징입니다. 문자 그대로 동등성은 a = b처럼 보입니다.

명제를 부정할 때 a로 표시되는 것은 개념이 거짓으로 부정될 때 참입니다. 이는 부정과 부정단순명제가 서로 모순될 뿐만 아니라 서로를 배제(부정)하기 때문이다. 따라서 개념 a가 참일 때 개념 a는 거짓임이 밝혀집니다. 반대로, a가 거짓이면 그것을 부정하는 a는 참입니다.

의미 (a - › b)하나를 제외한 모든 경우에 참입니다. 즉, 함축의 두 단순 명제가 모두 참 또는 거짓이거나 명제 a가 거짓이면 함축은 참입니다. 그러나 명제 b가 거짓이면 함축 자체가 거짓이 됩니다. 이것은 "작동하는 카트리지를 불에 던지면 (a) 폭발 할 것입니다 (b)"라는 예에서 볼 수 있습니다. 분명히 첫 번째 판단이 사실이라면 두 번째 판단도 사실입니다. 불에 던져진 탄약통의 폭발은 필연적으로 발생하기 때문입니다. 따라서 첫 번째 경우를 고려하면 두 번째 명제가 거짓이면 전체 의미가 거짓이라는 결론을 내릴 수 있습니다.

위의 연결, 분리, 함축의 모든 예는 두 개의 변수로 구성됩니다. 그러나 항상 그런 것은 아닙니다. 세 개 이상의 변수가 있을 수 있습니다. 진실에 대한 복잡한 판단을 고려하면 문자 그대로의 공식을 얻습니다. 후자는 참 또는 거짓으로 특징지을 수 있습니다. 이와 관련하여 수식은 변수의 조합에 대해 참이면 동일하게 참이라고 합니다. samely false라는 이름에는 false 값(값 "false")만 사용하는 수식이 있습니다. 그러한 공식의 마지막 종류는 만족할 수 있는 공식입니다. 포함된 변수의 조합에 따라 "true" 값과 "false" 값을 모두 사용할 수 있습니다.

문장은 기호를 사용하여 표현됩니다.- 논리적 용어를 나타내는 변수 및 기호. 이 목적을 위한 다른 기호는 없습니다. 변수 문라틴 알파벳(a, b, c, d 등)의 문자로 표현됩니다. 이러한 문자를 명제 변수뿐만 아니라 변수 명령문이라고 합니다. 간단히 말해서 이 기호 그룹은 진술을 구성하는 간단한 판단을 나타냅니다. 이러한 판단은 내러티브 문장의 형태로 표현됩니다. 다른 캐릭터 그룹, 공식의 형태로 진술을 표현하는 데 사용, 이것들은 징후입니다.그것들은 엄격하거나 엄격하지 않을 수 있는 결합과 분리, 부정, 등가 및 함축과 같은 논리적 용어를 나타냅니다. 접속사는 위를 가리키는 눈금(^)으로 표시되고 분리는 아래를 가리키는 눈금(V)으로 표시됩니다. 엄격한 분리를 사용하면 체크 표시 위에 점이 표시됩니다. 의미에는 기호 "-›", 부정(-), 등가(=)가 있습니다.

진술을 표현하는 마지막 유형의 기호는 괄호입니다.

논리적 용어, 연결 유형을 나타내는 기호는 강도가 다릅니다. 따라서 인대 ^는 가장 강한 것으로 간주됩니다. 즉, 다른 모든 것보다 더 강하게 묶입니다. V 링크는 -보다 강하며 일부 경우에만 중요합니다. 따라서 괄호를 사용하지 않고 수식을 작성하는 경우 인대의 강도를 결정하는 것이 중요합니다. 공식으로 표현되는 문장이 있다면 (a^b)V 씨, 대괄호를 쓸 수 없지만 직접 표시하십시오. ㄱ^ㄴ V 씨.기호 - ›를 사용할 때도 동일한 규칙이 적용됩니다. 그러나 이 규칙이 모든 경우에 적용되는 것은 아닙니다. 즉, 많은 경우에 괄호를 생략하는 것은 불법입니다. 예를 들어, 개념 a의 접속 연결이 함축 관계에 의해 관련되고 괄호로 분리된 다른 두 개념과 수행되는 경우 후자를 생략하는 것은 허용되지 않습니다. (a^(b - 씨)).그렇지 않으면 접속사 연결을 먼저 수행한 다음 함축을 수행해야 하기 때문에 이것은 명백합니다. 학교 수학 과정에서 우리는 그러한 경우 괄호를 생략하는 것이 불가능하다는 것을 알고 있습니다. 다음 예는 이러한 상황을 설명할 수 있습니다. 2 엑스 (2 + 3) = 10 그리고 2 엑스 2 + 3 = 7. 결과는 명백합니다.

위와 관련하여 진술의 모든 상징적 표현이 공식은 아님을 알 수 있습니다. 이를 위해서는 특정 징후가 필요합니다. 예를 들어, 공식이 정확해야 합니다.그러한 구성의 예는 다음과 같습니다. (a^b), (a V 나), (아 - 나), (아 = 비).이 구성은 PPF, 즉 잘 구성된 공식으로 표시됩니다. 잘못 구성된 수식의 예는 다음과 같습니다. ㄱ^ㄴ, ㄱ V 비, V 비, 에이 - 비, (a^b)기타 처음 세 가지 경우에서 수식의 부정확성은 도르래로 통합된 개념을 괄호로 묶어야 한다는 사실에 있습니다. 마지막 수식은 여는 괄호가 있는 반면, 세 번째 예는 분리 기호가 있음에도 불구하고 하나의 단순 개념이 다른 개념과 결합되지 않는 것이 특징입니다.

일상 생활에서 우리는 종종 자신도 모르게 단순할 뿐만 아니라 복잡한 판단을 사용하기도 합니다. 위에서 이미 언급한 바와 같이 이러한 판단은 등가뿐만 아니라 이접, 접속, 함축 및 부정이라고 하는 논리적 연결사의 도움을 받아 둘 이상의 단순 판단으로 구성됩니다. 이러한 링크는 기호를 사용하여 표현됩니다. ^ 접속사를 위해 V분리를 위해, - > 의미를 위해. 친숙한 = 등가 표시 및 부호 ㅏ부정을 의미합니다. 분리를 표시하는 데는 두 가지 옵션이 있습니다. 첫 번째는 단순한 분리를 위한 단순 하향 틱입니다. 복잡한 경우 동일한 확인 표시가 사용되지만 위에 점이 있습니다. 복잡한 판단의 공식을 그래픽으로 표현하는 것은 구조, 특성 및 의미를 보다 명확하게 이해할 수 있게 해주기 때문에 매우 중요합니다.

논리 접속사는 간단한 명제를 결합합니다.본질적으로 선언문입니다. 그리고 여기에는 많은 옵션이 있습니다. 문장은 명사와 형용사, 동사, 분사 등으로 구성될 수 있으며 어떤 문장은 단순한 명제이고 어떤 문장은 복잡합니다. 복잡한 판단이나 진술은 논리적 상수로 결합된 두 개의 단순한 것으로 나눌 수 있다는 사실이 특징입니다. 그러나 이것은 모든 복잡한 문장에서 가능하지 않습니다. 절단의 결과로 진술의 의미가 변경되면 그러한 작업은 허용되지 않습니다. 예를 들어 우리가 말할 때 “그 지역은 낡았고 그 안에 있는 집들은 오래 전에 노후화되었습니다.”우리는 "이 지역은 오래되었습니다"라는 한쪽이 "그리고"두 번째 부분 인 "그 안에있는 집은 오랫동안 낡아졌습니다"라는 결합으로 결합되는 연결을 의미합니다. 단순한 판단을 서로 분리하여 고려했음에도 불구하고 진술의 의미는 변경되지 않았습니다. 다만, 성명서에 “아름답고 빠른 차가 주차장에 주차되어 있습니다”분리를 시도하면 원래 전송된 정보가 왜곡될 수 있습니다. 따라서 간단한 판단을 별도로 고려하면 "아름다운 (자동차)가 주차장에 주차되어 있습니다"라는 결과를 얻습니다. 이것은 두 번째 조합 "and"와 결합 된 첫 번째 판단입니다. 두 번째 판단은 "(주차장에 주차) 빠른 차"입니다. 결과적으로 두 대의 자동차가 있다고 생각할 수 있습니다. 하나는 아름답고 다른 하나는 빠릅니다.

논리- 물론 이것은 자체 개념적 장치, 도구, 정보 기반을 가진 독립적인 과학입니다. 독립적인 과학은 다른 과학과 분리되어 있으며 종종 특정 주제에 대한 접근 방식이 근본적으로 다릅니다. 이것은 논리의 관점에서 러시아어의 구성을 고려할 때 염두에 두어야 합니다. 논리는 이러한 구조를 더 고립적으로 연구합니다. 따라서 다양한 판단을 고려할 때 시간 요소가 고려되지 않는 경우가 많습니다. 러시아어에서는 적절한 경우 시간 요소가 항상 고려됩니다. 여기서는 위의 언어 및 논리 기능과 불가분의 관계가 있는 결합의 교환성에 대해 말해야 합니다. 교환성-이것은 판단 (진술)의 동등성입니다. (a^b) = (b^a).언어에서는 시간 요소가 고려되기 때문에 결합 가환성의 법칙이 적용되지 않습니다. 사실, 특정 판단의 등가성을 상상하는 것은 불가능합니다. 그 중 하나는 시간적으로 다른 것보다 앞섰고 그 반대의 경우도 마찬가지입니다. 예를 들어 "비가 와서 젖었어요"라고 말하는 것과 같지 않습니다. (a^b)그리고 "우리는 젖었고 비가 내리기 시작했다" (b^a)."총이 발사되고 짐승이 쓰러졌다"와 "짐승이 쓰러지고 총이 맞았다"는 진술에서도 같은 상황을 볼 수 있습니다. 분명히 여기서 복잡한 판단에 반영된 하나의 사건이나 행동이 다른 사건이나 행동보다 앞서 전체 진술의 의미가 좌우되는 시간 요소가 고려됩니다.

논리는 시간을 추상화하고 올바른 구성과 참 또는 거짓의 관점에서만 판단을 평가합니다. 이와 관련하여 위의 진술은 각 개별 사례에서 두 부분이 모두 사실이기 때문에 동일합니다.

따라서, 논리의 결합문은 가환적입니다., 언어의 관점에서 (시간 요소를 고려한 경우) 판단에서 조합 "and"를 사용하는 것은 비가 환적입니다.

접속사를 구성하는 전치사를 위에 표시했음에도 불구하고 판단에서 이러한 전치사가 없으면 접속사가 불가능하다고 말할 수 없습니다. 이것은 잘못된 것입니다. 복잡한 판단을 내리는 문장에서는 종종 서로 다른 문장 부호가 접속사로 사용됩니다. 예를 들어 쉼표 또는 대시일 수 있으며 경우에 따라 마침표일 수도 있습니다.

문장에서 사용되는 구두점은 간단한 판단 사이에 위치하여 서로를 연결합니다. 구두점을 논리적 연결어로 사용하는 예는 "구름이 갈라지고 태양이 나왔습니다"또는 "밖은 서리가 내렸고 모든 생물은 숨겨져 있었고 지붕에는 고드름이 생겼습니다."라는 문장이 있습니다. 일반적으로 많은 과학자들이 접속사의 언어적 표현 문제를 다루었습니다. 따라서 이 문제는 잘 해결되고 다루어집니다.

분리(기호 지정은 V와 유사한 틱이지만 맨 위에 점이 있음을 기억하십시오)는 엄격하고 비엄격할 수 있습니다. 이미 언급한 바와 같이 이 두 가지 유형의 차이점은 non-strict disjunction의 용어는 서로를 배제하는 반면 strict disjunction의 구성원은 그렇지 않다는 사실에 있습니다.

분리가 있는 교환성의 법칙은 분리의 종류에 관계없이 유효합니다. 기억하자 분리는 합집합으로 표현된다, 그 주된 것은 확실히 "또는"과 "또는"입니다. 우리는 엄격한 분리와 비엄격 분리의 예를 제공하고 이를 교환 법칙의 작동을 설명하기 위해 사용합니다. "I will drink water with or without gas" 명제는 비엄격 분리법의 예인 반면, "I will go to university or stay at home" 명제는 엄격한 분리법입니다. 그들 사이의 차이점은 첫 번째 경우 선택한 물의 유형에 관계없이 작업이 계속 수행된다는 것입니다. 두 번째 경우 두 번째 옵션을 선택하고 집에 있으면 조치 (나는 대학에 갈 것입니다)가 제외됩니다. 많은 경우 접속사 "or"는 단순히 접속사 "or"로 대체될 수 있습니다. 예를 들어, "Either I will ski down the mountain, or I will fall along the way"라는 문장에서 접속사 "or"를 그대로 사용할 수 있습니다. 그러나 그 자체로 사용되는 접속사도 있고 이접 접속사이기도 합니다. 이것은 "또는"의 조합입니다. 문장 구성에 자주 사용됩니다. "오늘 검사관이나 감사관이 왔습니다"; "그는 Moskovskaya 또는 Komsomolskaya Street에 살고 있습니다."등.

위에서 이미 언급한 바와 같이, 이접문에서 교환성의 법칙은 이접의 유형에 관계없이 유효합니다.예를 들어 다음과 같은 판단을 생각해 보십시오. "나는 가스가 있든 없든 물을 마실 것입니다." 분명히 그들 사이에는 차이가 없으며 의미는 동일하게 유지됩니다. "나는 대학에 가거나 집에 있을 것이다", "나는 집에 있거나 대학에 갈 것이다"와 같은 다른 예를 확인할 수도 있습니다. 분리의 도움으로 형성된 복잡한 명제의 내용과 양은 구성 요소의 재배열에서 변하지 않습니다. 이것이 우리가 보편적 교환성에 대해 이야기하는 이유입니다.

언어의 논리적 연결 표현은 매우 다양하며 진술이 작성되는 많은 체계가 있습니다. 이러한 각 체계에 대해 수많은 복잡한 판단을 내릴 수 있습니다. 이것은 모든 모호성에서 특히 러시아어의 특징입니다. 예를 들어, "A는 B가 필요합니다"와 같은 체계에 따라 의미가 구축됩니다. "A는 B에게 충분하다"; "A이면 B", "A, B이면 만"등 예 : "많이 알기 위해서는 많이 공부해야합니다"; "타워에서 점프하려면 발로 올바르게 밀면 충분합니다."; "차가 막히면 밀어야합니다"; "즉시 준비를 시작해야만 정시에 세션을 시작할 수 있습니다."

등가에 대한 여러 공식이 있습니다."B이면 A, A이면 B"; "A에게는 B가 필요하고 충분합니다"; "그런 다음 B의 경우에만"등 이러한 체계를 기반으로 구축된 판단의 예를 들어 보겠습니다. 예를 들어: "사람이 역도를 하면 강해진다", "역도를 하면 강해진다"; "대학에 입학하려면 입학 시험에 합격하는 것이 필요하고 충분합니다"; "당신은 산의 가장 높은 지점에 발을 디뎠을 때만 정상에 도달한 것입니다."

이와 관련하여 논리적 상수를 표현하는 접속사(접속사, 이접사, 함축 등)의 모호성도 언급할 필요가 있다. 예를 들어, 합집합 "if"는 함축이 아니라 접속사를 나타내는 경우가 많습니다. 그것은 판단 사이에 의미 있는 연결이 존재하는지에 달려 있습니다. 이와 관련하여 자연어 표현의 다양성과 이질성의 관점에서 고찰할 필요가 있다.

논리적 연결 외에도, 일반 및 특정 판단의 형성에 사용되는 조합을 통해 러시아어로 표현, 수량자가 있습니다.이들은 실존적 수량사와 보편 수량사입니다.

일반 수량자러시아어로 "각각", "모든", "모두", "없음" 등의 단어로 표현됩니다. 일반적으로 일반 한정 기호가 있는 수식은 "모든 개체에는 특정 속성이 있습니다."로 읽습니다.

존재 수량자"majority", "minority", "some", "many" and "few", "many" and "few", "almost all" 등의 단어로 표현됩니다. 이 수량사는 다음과 같이 표현됩니다. "특정 속성을 가진 개체가 있습니다."존재 수량사를 사용하는 변형이 있습니다. "특정 값보다 큰 개체가 있습니다."이 구성에서 개체는 숫자로 이해됩니다.

암시의 도움으로 만들어진 일부 판단은 가정법으로 표현됩니다.그것들은 다른 함축들(a - › b)과 같은 공식을 갖지만 반사실이라고 불립니다. 가정법은 그러한 판단의 근거와 결과가 거짓임을 이해하게 합니다. 그러나 이 거짓은 보편적이지 않습니다. 즉, 특정 상황에서 그러한 진술의 진실이 가능합니다. 즉, 그러한 판단은 대상을 정확하고 객관적으로 반영할 수 있다.

이성과 결과의 관계가 결과의 참이 이성의 참에서 나온다는 것을 함축한다면 참이 가능하다. 그렇지 않으면 그러한 판단이 거짓이라고 말할 수 있습니다.

가정법으로 만들어진 진술은 "만약 A라면 B일 것이다"라는 구조를 가지고 있습니다. 예를 들어, "논리학의 모든 수업을 들었다면 성공적으로 시험에 합격했을 것입니다."; “기차가 늦지 않았더라면 우리는 기차를 놓쳤을 것이다”, “환자가 넘어지지 않았다면 다리가 아프지 않았을 것이다.”

반사실 진술은 역사, 철학, 어느 정도는 수학 및 일부 다른 과학에 매우 중요합니다. 그들은 가설의 구성, 역사적 및 기타 문제의 고려 및 특정 프로세스의 흐름에 대한 가능한 방향 결정에 사용됩니다. 예를 들어, 위대한 애국 전쟁 주제에 대한 토론은 여전히 ​​멈추지 않습니다. 이 논의의 틀 내에서 대안 과정의 가능성과 다른 상황에 있을 수 있는 결과에 대한 질문이 고려됩니다. 또한 화학, 물리학, 천문학의 틀에서 반사실적 판단이 자주 사용됩니다. 예를 들어, 실용 물리학은 어떤 과정의 정확한 과정을 이론적으로 결정하는 것이 불가능하다는 결론에 도달하는 경우가 있습니다. 이 경우 원하는 결과를 얻으려면 지적 열거 방법을 사용하고 결과를 실제로 확인해야합니다.

다음 명제는 물리학에서 반사실적 명제의 예가 될 수 있습니다. "구리 도체를 통해 전류를 흐르게 하면 방전이 더 강해질 것입니다."반사실적 판단의 진위는 모호하고, 기본적으로 그 근거와 결과(따라서 전체 판단 전체)가 거짓으로 인식되기 때문에 이 판단은 실무에서 검증되어야 한다. 이 경우 명제는 참일 수도 있고 거짓일 수도 있습니다. 이전에 사용한 도체에 따라 다릅니다. 예를 들어 구리 도체보다 철 도체를 먼저 가져간 경우 구리가 전류 도체를 따라 이동할 때 저항이 적기 때문에 우리의 판단은 사실이 될 것입니다. 그러나 이전에 금을 도체로 사용했다면 재료의 전도도와 관련된 이유로 다시 판단이 잘못된 것으로 판명됩니다. 금은 구리보다 전도도가 훨씬 큽니다. 천문학은 천체 궤도의 일부 속성과 후자의 움직임의 특징, 행성, 별, 시스템 및 은하 등의 상대적 위치에 의문을 제기합니다. 결과적으로 반사실 진술도 사용됩니다. 때때로 자신을 정당화하거나 급한 상황을 완화하기 위해 사람들은 "이런 일이 일어나지 않았다면 모든 것이 달라졌을 것"이라고 말합니다. 이것은 또한 가정법을 사용하는 예입니다.

그러나 다음을 기억해야 합니다. 반사실적 판단은 거짓 근거와 결과로 구성됩니다.따라서 과학에서 그러한 구조를 사용할 때는 특정한 주의를 기울여야 합니다.

반사실적 판단은 공식을 사용하여 표현할 수 있습니다. 이러한 수식은 진술의 구성원 수, 그들 사이의 연결 유형 및 의미의 표시를 반영합니다. 반사실적 판단의 함의는 특정한 특수성을 가지고 있습니다. 그것은 무엇보다도 "만약 ... 그렇다면"의 합집합에 해당합니다. 이러한 수식의 왼쪽에는 조합 "if", 오른쪽의 조합 "then"에 해당하는 반 사실 진술의 구성원이 반영됩니다. 왼쪽과 오른쪽 부분은 고전 명제 논리에서 사용되는 것과 다른 암시 기호로 구분됩니다. 이 두 문자의 차이점은 함축을 나타내는 화살표(클래식 버전(-›)) 뒷면에 반사실 함축에 세로 막대(| - ›)가 있다는 것입니다. 이러한 기호는 고전 명제 논리에서는 사용되지 않습니다.

논리의 판단 부정- 이것은 복잡한 문 내의 기존 묶음을 마지막 묶음과 반대되는 다른 묶음으로 대체하는 것입니다. 복잡한 판단의 부정을 표현할 수 있는 공식에 대해 이야기하는 경우 부정이 부정 판단 위의 수평선으로 그래픽으로 표현된다는 점에 유의해야 합니다. 따라서 우리는 수평선이 그려지는 논리적 링크로 통합된 두 가지 개념을 얻습니다. 이러한 기능이 이미 존재하는 경우 부정을 구현하려면 해당 기능을 제거해야 합니다.

위의 모든 내용은 연결 및 분리를 사용하여 수행되는 작업에 적용됩니다. 그러나 위에서 말한 것이 복합판단의 부정이 오로지 접속사와 이접사의 접속사만을 포함하는 경우에만 가능하다는 것을 의미하지는 않는다. 함축을 포함하는 판단과 관련하여 부정 연산을 수행할 필요가 있는 경우 변경 사항이 없는 경우 함축을 폐기하는 방식으로 이 판단을 대체해야 합니다. 이것은 주어진 것과 동등한 의미를 포함하지 않는 판단을 선택해야 함을 의미합니다. 함축을 포함하지만 포함하지 않는 판단과 동등한 판단에 대해 말할 때 우리는 이 접속사를 접속사 또는 분리사로 대체하는 것을 의미합니다. 그래픽으로 보면 (a - b) = (a V b)처럼 보입니다. 그런 다음 위에서 설명한 작업을 수행하여 연결 기호가 분리로 변경되고 그 반대도 마찬가지입니다.

일반적으로 연설에서 부정의 표현은 접두사 "not"을 추가하는 것으로 귀결됩니다.실제로 지정된 접두사가 음수이므로 반대를 설정하는 데 사용하는 것이 완전히 정당화됩니다.

드 모건의 법칙을 언급할 필요가 있습니다. 복잡한 판단을 부정하는 과정에서 사용되며 형식적인 표현이 있습니다. 그러한 법칙은 네 가지뿐이며 그에 따라 공식도 있습니다.

위의 내용을 고려하면 접속사 또는 분리를 포함하는 복합 명제의 부정은 부정 연산을 수행하기에 충분한 "단순" 옵션임을 알 수 있습니다.

de Morgan의 법칙을 사용하여 형성된 공식은 다음과 같습니다.

(a ^b) V (c ^e) = (a V b) ^(c V e).

부정 연산의 예를 들어 보겠습니다. 함의가 없는 복합적 판단 부정: “일 끝내고 산책하고 가게에 갈게” - “일은 끝내겠지만 산책은 안 하고 가게에 가지 않겠다” .” 함축을 접속사 또는 이접사로 먼저 변경해야 하는 복잡한 명제의 거부는 다음 예에서 설명할 수 있습니다. -“차는 사겠지만 마을을 나가서 다차로 향하지는 않겠다. 이 예에서는 편의상 함축 제거 단계를 생략했습니다.

서로를 부정하는 판단은 동시에 참인 동시에 거짓일 수 없다는 것을 말해야 합니다. 모순 또는 부정의 상황은 모순된 개념 중 하나는 항상 참이고 다른 하나는 거짓이라는 사실이 특징입니다. 이 경우 다른 입장은 있을 수 없습니다.

부정적인 판단의 일부인 부정과 새로운 판단이 형성되는 부정의 작용을 식별하는 것은 불가능하다. 판단의 부정은 전체 판단과 그 부분 모두와 관련하여 이루어질 수 있으며 "아니오", "본질이 아님", "아니오"및 "잘못됨"등의 단어로 표현됩니다. 위에서 우리는 내부 및 외부의 두 가지 유형의 거부가 있다는 결론을 내릴 수 있습니다. 짐작할 수 있듯이 외부는 전체 판단을 전체적으로 부정합니다. 예를 들어, "어떤 병사들은 낙하산 병이 아니다"는 내부 부정이고 "달이 행성이라는 것은 사실이 아니다"는 외부 부정이다. 따라서 외적 부정은 판단 전체를 부정하는 것이고, 내적 부정은 술어와 주어 사이에 모순이나 불일치의 사실을 나타낸다.

다음 유형의 부정적인 판단은 공식의 형태로 표시될 수 있습니다. "no S is P" 및 "some S are P"(사적 판단). 부정 명제의 마지막 종류는 "이 S는 P이다"와 "이 S는 P가 아니다"(단수 명제라고 함)입니다.

복합 명제는 여러 개의 단순 명제로 구성된 명제입니다. 따라서 "절도는 범죄이다"라는 명제는 간단합니다. 하나의 주어("도둑")와 하나의 술어("범죄")가 있습니다. "평결은 적법하고 정당해야 합니다"라는 판결 - 이 판결은 "평결은 합법적이어야 합니다"와 "평결은 정당해야 합니다."라는 두 가지 단순한 판결로 구성됩니다.

복잡한 판단은 "If ... then", "and"또는 "and equals to them"과 같은 논리적 결합의 도움으로 단순한 판단에서 형성됩니다.

복합판단에는 조건판단, 연결판단, 분배판단이 있다.

대부분의 법 규칙은 복잡한 판결의 형태로 표현됩니다. 예를 들어, "민법 당사자, 원고 및 피고", "법적 근거없이 사건이 시작되면 검사가 종료합니다", "법의 요구 사항을 준수하지 않는 잘못된 거래", "에 대한 폭행" 폭력과 관련된 국가 또는 공공 재산을 압수하거나 공격을받은 사람의 생명이나 건강에 위험하거나 그러한 폭력 (강도)의 위협으로 처벌됩니다 ... "등. 그러한 판단의 유형을 고려해 봅시다. .

조건부 명제

조건부(암시적) 명제는 근거와 결과에 관련된 두 개의 단순 명제로 구성된 복잡한 명제이며, "if ... then"이라는 논리적 합집합의 도움으로 연결됩니다. 조건 명제의 예 : "몸이 뜨거워지면 팽창한다", "형이 부당하면 불법이다."

조건 명제는 이유와 결과로 구성됩니다. 그리고 현상의 존재(비존재)의 조건을 표현하는 조건명제 부분을 근거라고 하고, 이 조건에 의해 조건지어지는 것을 표현하는 조건명제 부분을 결과라고 한다. 조건 명제의. 예를 들어, "몸이 가열되면 팽창할 것이다"라는 명제에서 밑바탕은 "몸이 가열되면"이고 결과는 "그러면 팽창할 것이다"이다.

조건부 명제의 근거가 문자 A로 표시되고 결과가 문자 I로 표시되면 이 축약의 구조는 L이면 B인 공식으로 표현됩니다.

"if ... then"이라는 논리적 합집합을 수학적 논리에서는 함축(implication)이라고 하고, 조건 명제는 함축 명제(implicative proposition)라고 합니다. 합집합 "if ... then"은 기호 "->"로 표시됩니다. 이를 사용하여 조건 명제의 구조를 A-> B 공식으로 작성할 수 있습니다. "A는 B를 암시합니다" 또는 "A이면 B입니다."

"if ... then"이라는 접속사를 포함하는 모든 문장이 조건 명제인 것은 아닙니다. 따라서 "어제 우리는 S.가 우리 축구 팀의 메인 팀에서 뛰는 것을 몰랐다면 오늘은 모두가 이것을 알고 있습니다"라는 문장은 "if ... then"이라는 조합이 있지만 조건부 명제는 아닙니다. 조건부 조사이기 때문에 연결을 표시하지 않습니다. 예를 들어 "일하지 않는 사람은 먹지 않는다", "서둘러-당신은 사람들을 웃게 만들 것입니다"등과 같이 조건부 결합 "if ... then"없이 조건부 명제를 표현할 수도 있습니다.

법적 입법에서 꽤 많은 조건부 명제가 "if ... then"이라는 조합이 아니라 "in case", "when"등의 단어로 표현됩니다. 논리적 조합 "if . .. 그럼'을 자주 발매한다.

조건 명제는 다른 현상에 대한 일부 현상의 다양한 조건부 의존성을 반영합니다. 사제는 현상 사이의 인과 관계, 시간에 따른 현상의 순서 또는 동시성, 사물과 현상 또는 그 기호의 공존 또는 공존 불가능, 수단과 목표의 연결 등을 반영합니다. 따라서 조건 명제의 근거를 항상 원인으로 보고 결과를 이 원인의 결과로 보는 것은 불가능하다. 이러한 개념은 동일하지 않습니다.

조건부 명제는 다른 명제와 마찬가지로 참이거나 거짓일 수 있습니다.

조건 명제는 한 현상이 다른 현상에 대한 조건부 종속성을 올바르게 반영하는 경우 참입니다. 조건명제의 근거에서 언급된 현상과 조건명제의 여파에서 언급된 현상 사이에 실제로 조건명제에서 언급된 조건의존이 존재한다면 그러한 조건명제는 참이다. 현상 사이의 연결.

만약 현상과 현실 사이에 조건명제에서 언급하는 조건의존성이 없다면, 그러한 조건명제는 오류이며 현실을 왜곡한다. 따라서 "몸이 뜨거우면 팽창한다"는 판단은 이 판결에서 논의되는 현상(몸의 열과 팽창하는 성질) 사이의 조건적 관계가 실제로 존재하기 때문에 참이다. 그리고 "몸이 가열되면 부피가 감소합니다"라는 판단은 거짓입니다. 본문"), 실제로는 없습니다.

조건 명제는 실제로 존재하는 현상을 언급할 때와 미래에 존재할 가능성이 있는 현상, 그리고 우리가 알고 있는 현상이 존재하지 않으며 존재하지 않을 것이라는 사실을 언급할 때 모두 참 또는 거짓입니다. 예를 들어, "우리 지구에 대기가 없다면 생명체는 불가능할 것입니다"라는 조건부 명제는 사실이며 대기의 존재와 지구상의 생명체 사이의 조건부 관계의 존재를 올바르게 설정합니다.

수학 논리에서 함축 A->B의 참과 거짓은 암시적 명제를 구성하는 단순 명제: 근거와 결과(A와 B)의 참 또는 거짓에 의해 결정됩니다. 암시적 명제는 이유(A)가 참이고 결과(B)가 거짓인 경우에만 거짓입니다. 다른 모든 경우, 즉 근거가 참이고 결과가 참인 경우 기초는 잘못되었지만 결과는 참입니다. 이유가 잘못되고 결과가 잘못됨 - A->B가 참이라는 의미

함축적 판단의 진리표는 다음과 같다.

조건 명제는 구별되고 보이지 않습니다. 우리는 조건부 보이지 않는 판단을 고려했습니다. 이제 조건부 강조 판단 또는 소위 동등 판단이 무엇인지 알아 보겠습니다.

할당 조건부 명제(등가 판단)는 과세 조건부 명제이며, 두 부분 모두 근거이자 결과가 될 수 있습니다.

예: "물체의 부분이 동일한 물체의 부분인 경우 개별 부분의 양각은 동일합니다." 이 판단의 결과를 근거로 하고 그 근거가 결과라면 판단은 참으로 남는다"고 말했다. 판단은 변하지 않았다.

따라서 "A이면 B이다"라는 명제가 "B이면 A이면 된다"라는 명제로 변환될 때 조건부 명제가 참이면 선택적 명제가 됩니다.

구별 조건 명제의 구조는 다음과 같이 쓸 수 있다: A ~ B.

조건 명제 강조는 두 가지 경우에만 참입니다. 즉, 이유와 결과가 참일 때와 이유와 결과가 거짓일 때입니다. 마지막 두 경우에서 근거가 참이고 결과가 잘못되었을 때와 근거가 잘못되고 결과가 참일 때 조건 명제가 잘못되었음을 강조합니다.

다음은 조건부 명제를 구분하는 진리표입니다.

복합 판단 및 그 유형

복잡한논리 접속사로 연결된 몇 개의 간단한 것들로 구성된 판단이라고 합니다.

연결(연결), 분리(분리), 함축(조건부), 등가(동일성)가 있습니다.

접속사- "and"의 묶음으로 연결된 여러 개의 간단한 판단으로 구성된 판단입니다. 예를 들면 다음과 같습니다. "Petrov는 Ivanov 및 Sidorov와 비즈니스 및 우호 관계를 가졌습니다." 이 주장은 몇 가지 간단한 주장으로 나눌 수 있습니다. 기호 표기법으로 보면 다음과 같습니다. p^q.

분리- 이것은 "또는"의 묶음으로 연결된 여러 개의 간단한 판단으로 구성된 판단입니다. 예: "판매 계약은 서면 또는 구두로 체결될 수 있습니다.": 피 브 큐.

"또는"이 연결 또는 분리 의미로 사용될 수 있다는 사실 때문에 엄격한 분리와 비엄격 분리가 구별됩니다.

엄격한 분리- "또는"이라는 링크가 분할적인 의미로 사용된 판단입니다. "범죄는 고의적이거나 무모할 수 있습니다": pq.엄격한 분리(대안)의 구성원은 참과 거짓이 될 수 없습니다.

비엄격 분리- 연결 "또는"이 분리-연결의 의미로 사용된 판단이다. "무기는 차갑거나 화기일 수 있습니다.": pvq. 이 판단은 무기가 차갑고 총기와 합체되어 있다는 사실을 반영한 것입니다.

함축- "if ..., then ..."이라는 링크로 연결된 두 개의 간단한 판단으로 구성된 판단입니다. 예를 들어, "밖에 비가 오면 집 지붕이 젖어 있습니다." 피? 큐. 자연어에서는 조건부 관계를 표현하기 위해 여러 다른 합집합을 사용할 수도 있습니다.

등가-이것은 이중 조건부 종속으로 연결된 두 개의 간단한 판단으로 구성된 판단이며 "if and only if ..., then ..."이라는 연결어로 표현됩니다. 예: "모스크바가 러시아의 수도인 경우에만 정부가 그 안에 있습니다.": 피

강의 11번 간단한 판단. 개념과 종류 1. 단순판단의 개념과 종류 아시다시피 모든 판단은 단순판단과 복합판단으로 나눌 수 있습니다. 위에 주어진 거의 모든 판단은 간단합니다. 단순한 판단은 복잡한 판단과 대조하여 식별할 수 있습니다.

강의 12번 복잡한 판단. 복합판단의 형성 1. 복합판단의 개념 복합판단의 개념은 접속, 분리, 함축, 등가, 부정과 불가분의 관계를 맺고 있는데, 이른바 논리적 접속사이다. 그들은 다음과 같이 사용됩니다

25. 단순한 판단. 범주적 판단 단순 판단은 범주적이고 주장적입니다. 동시에 단순한 주장적 판단은 귀속적(대상의 속성 반영) 및 실존적(대상의 관념과 관련됨)일 수 있습니다.