갖추고 있 원칙 논리의 이론뿐만 아니라 기본적인 기법,그것을 탐험하는 시간 컨셉의 동등성에서는 논리입니다. 구체적으로,두 개의 복합 건물을 평등하게 만드는 것은 무엇입니까?

두 화합물은 온 X&Y 은 논리적으로 해당하는 경우,각 할당의 진실 가치를 기본제하는 X&Y,문 X&Y 동일한 진리는 값입니다.

그건 삼키는 까다로운 정의이지만,우리가 학습에 신경 쓰는이 정의의 적용입니다. 이를 달성하기 위해 점점 더 복잡 해지는 여러 가지 예를 살펴 보겠습니다. 처음 하지만,의 우회에 대해 좀 더 알아보기 우리의 엑스칼리버는 이를 위해 여행을 하는 가장 간단하면서도 강력한 도구에 대한 논을 증명하는 논리적 동등성:진리 테이블이 있습니다.

진리표가 시각적 도구의 형태로,다이어그램으로 행&열의를 보여주는 진실 또는 허위의 화합물 전제입니다. 제공된 구내에서 가능한 모든 시나리오를 나열하기 위해 정보를 구성하는 방법입니다. 시작하자 가장 간단한 예제,사실 테이블을 묘사 하나의 전제 조작:부정(~)의 기본제(P)

진리 테이블은 항상 왼쪽을 오른쪽으로,기본 전제에서 첫 번째 열에 있습니다. 위의 예에서,우리의 기본제(P)는 첫 번째 열에 있는 결과제(~P),post-부정하는,열 두.

여기서 일을 전복하는 것은 쉽습니다-전제가 단순히 참 또는 거짓 인 진술임을 잊지 마십시오. 이 예제에는 단일 전제 만 있기 때문에 두 가지 결과 만 추적하면 P 가 true 일 때 또는 false 일 때 두 개의 행이 생깁니다. 행 하나는 왼쪽에서 오른쪽으로 읽고,P 가 true 이면 P 의 부정은 false 이고,행 2 는 P 가 이미 false 이면 P 의 부정이 true 임을 표시합니다.

로 이동하자 더 복잡한 예 진리의 테이블에 의해 야생에서 삽입 결합 우리는 이전에 볼 수 있:암시(->). 하기 위해 만들이 조금 더 소화,자 할당하는 우리의 문 P&Q 컨텍스트 전에 건물의 진리 테이블:

P:페이스 찍은 자신의 손가락

Q:50%의 모든 생물 사라졌다.

하기 전에 아래 생각하고 이 구조에 주어진 세상입니다. 첫번째 이후,우리는 두 가지 기본제(P,Q),우리가 알고 있는 우리는 적어도 두 개의 열을 또한,우리가 준비해야하는 결과제 의미와 결합(P>Q),이 필요합니다 다른 열입니다. 총 3 개의 열입니다.

행은 어떻습니까? 고 있기 때문에 우리는 두 가지 구내는 각하거나,참 또는 거짓하기 위해 계정 가능한 모든 시나리오,우리가 필요한의 행(P.S—깔끔한 결과될 수 있습에서 파생된 이 진리표는 계정을 위한 건물이 필요합 N2 행). 지금 이 테이블 out&확실히 이해할 수 있다:

을 검토 진리 테이블 위에 행해 행이 있습니다. 첫 번째 행은 두 타 노스가 손가락을 부러 뜨 렸음을 확인합니다(P)&모든 생명체의 50%가 사라졌습니다(Q). 이 두 프레미스 사실,그 결과 전제(암시 또는 조건부)뿐만 아니라 사실:

행 두 사람은 똑같이에서 직접 이해합니다. 이번에는 P 가 여전히 사실이지만 Q 는 이제 거짓입니다. 여기서 해석은”타 노스는 손가락을 부러 뜨 렸지만 모든 생명체의 50%는 사라지지 않았다.”때문에 우리는 설정의 유효성을 증명하기 위해 의미는,그것은 의미가 이전 문 렌더링하는 전반적인 전제로서 명백히 거짓:

마지막 두 개의 행이는 조금 더 많은 카운터-직관적입니다. 여기에 바로 가기가 있습니다:우리는 암시가 사실임을 등록하기 위해 첫 번째 열만 볼 필요가 있습니다. 모두 행 세&네,선행제(P)은 거짓입니다—모두가 우리를 알아야,값에 상관없이 전제 Q 를 결정하기 위해서는 암시하지 않으면 안 된다는 것입니다.

왜 그것이 거짓 선행 항상 지도 진정한 의미는? 기 때문에 우주에서의 논리적 문 때문에,선행 일어나지 않는 것은 불가능을 제거 가능한 모든 시나리오를 수 있는데 발생 Q. 예를 들어,행 3 절에는”페이스하지 않았다 스냅 자신의 손가락 아직의 50%를 살아있는 모든 것을 사라”습니다. 음,우리가 알고있는 모든 유성은,자연재해,외계인의 침입이나의 수많은 다른 활동도 했해 발생하는 멸종에서 어떤 사람들의 시나리오에 관계없이,어느 하나,이미 진정한 남아 있기 때문에 우리는 여전히 증명할 수 없는 무엇이 일어나지 않을 때 그는 자신의 스냅니다.

에 동일성 증명

진리 테이블은 매끄러운,편리한 논리-추적이어그램을 표시하지만 수학이지만,또한 컴퓨터 과학,전자 공학&철학뿐만 아니라. 표기법은 종사하는 산업에 따라 다를 수 있지만 기본 개념은 동일합니다. 그들은 다재 다능 한,학제 간 도구입니다-아직 우리는 단지 그들의 유틸리티의 표면을 긁어했습니다.

이제 진리표가 장착되어 여러 복합 구내 간의 동등성을 입증하는 방향으로 성장할 때입니다. 다음 글에서 이 시리즈에서,우리가 활용하여 우리의 합성의 지식을 증명하는 두 개의 고유한 복합제와 같은 의미는&콘트라 긍정적이,동일하다.나는 이것이 내가 할 수있는 유일한 방법이라고 생각한다.