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 순서가 다른 두 개의 조건명제의 진리값을 논리합을 함. (쌍조건명제는 배타적 논리합의 반대임..
