반응형 공대생을 위한 수학---------------------/명제논리3 [명제논리] 3. 명제와 대우명제가 동치인 이유 'A 이면 B이다' 라는 명제가 있다고 합시다. 이 명제의 대우명제는 '(not B) 이면 (not A)이다' 입니다. 명제 : A 이면 B이다. 대우명제 : (not B) 이면 (not A) 이다 두 명제는 동치입니다. 두 명제가 동치라는 것은 진리표가 같다는 것입니다. 'A이면 B이다'의 진리표는 아래와 같습니다. '(not B) 이면 (not A) 이다' 의 진리표도 아래와 같이 구할 수 있습니다. 두 진리표가 동일하므로 두 명제는 동치입니다. 2023. 12. 27. [명제논리] 2. 'A이면 B이다' 와 not(A and (not B)) 는 동치이다 논리학에서 두 명제가 동치라는 것은 진리표가 같다는 말입니다. 'A이면 B이다' 의 진리표는 지난 시간에 구했습니다. 아래와 같습니다. A B A → B T T T T F F F T T F F T not(A and (not B)) 의 진리표를 구해보고 'A이면 B이다' 의 진리표와 같은지 확인해봅시다. not(A and (not B)) 를 C라고 두고 진리표를 구하면 아래와 같습니다. A B C T T T T F F F T T F F T not(A and (not B)) 의 진리표를 구하는 것은 어렵지 않습니다. 하나씩 넣어서 순서대로 계산하면 됩니다. 예를들어 A가 참 이고, B도 참이라고 합시다. not B 는 거짓입니다. 따라서 not(A and (not B)) 는 아래와 같이 계산됩니다. not(.. 2023. 12. 27. [명제논리] 1. 'A이면 B이다' 의 진리표 이해하기 명제와 조건명제 명제는 참 거짓을 판단할 수 있는 문장을 말합니다. 두 명제 A와 B가 있다고 합시다. 이때 아래와 같은 조건명제를 만들 수 있습니다. 'A 이면 B이다' 기호로 나타내면 아래와 같습니다. A → B 예시 문장을 넣어서 이해해봅시다. A : 철수는 학생이다. B : 철수는 학교에 다닌다. A → B : 철수가 학생이면 철수는 학교에 다닌다. 조건명제의 진리표 조건명제의 진리표는 아래와 같습니다. A B A → B T T T T F F F T T F F T 이 진리표를 이해하는 것이 이 글의 목적입니다. 위에서 들었던 예시를 가져와봅시다. A : 철수는 학생이다. B : 철수는 학교에 다닌다. A → B : 철수가 학생이면 철수는 학교에 다닌다. 철수가 학생인게 참이고, 철수가 학교를 다니.. 2023. 12. 25. 이전 1 다음 반응형
