2/15 작성중

어떠한 문장이 참과 거짓을 구분할 수 있는 명제인지 아닌지!

 

논리연산

0,1,x,y…(=+-x..)

 

논리집합

t,f(논리상수), p,q,r(논리변수) (논리연산자… or, and, not, exor)

명제+명제= 합성명제

 

논리합(v) : 하나라도 참이면 참, 나머지는 거짓

논리곱(^):  둘 다 참일때만 참, 나머지는 거짓

부정(ㄱ,~): 참이면 거짓, 거짓이면 참 (1항 연산)

배타적 논리합 (or의 배제) 다르면 참, 같으면 거짓

 

 

조건명제

P가 조건 q가 결론 ex) 기온이 영상일 때 물이 언다(얼지 않는다.)

p, q, p->q

가정이 참이고 결론이 거짓이면 거짓이고, 나머지는 참

 

쌍조건명제

p->q^q->p

순서가 다른 두 개의 조건명제의 진리값을 논리합을 함.

(쌍조건명제는 배타적 논리합의 반대임.) = 이러한 관계를 동치라고 함

즉 서로 같으면 참 서로 다르면 거짓.

 

논리적 동치

두 명제가 항상 동일한 진리값을 갖는다.

쌍조건 명제의 기호를 쓰거나 두줄 화삺를 쓰거나 3개의 =을 쓰기도 함.

 

역

이

대우

 

교환법칙

결합법칙