CS3 동치 관계 #동치 :bulb: 서로 같은 진리값을 가지고 있을 때 동치라고 한다. #### 동치 법칙 동치 이름 설명 $$1. p \wedge T \equiv p$$ $$2.p\vee F \equiv p$$ 항등법칙 1. p는 항상 참 값을 가지고 있기 때문에 항상 참이다. 2. 합집합시 항상 참이 나오기 때문에 성립한다. $$p \vee T \equiv T $$ $$ p \wedge F \equiv F$$ 지배법칙 T 값에 의해 지배를 당한다고 해서 지배법칙이라고 한다. 합집합의 경우 True가 있으면 항상 참, 교집합의 경우 False가 있으면 항상 거짓 $$p \vee p \equiv p$$ $$p \wedge p \equiv p$$ 멱등법칙 $$\urcorner(\urcorner p) \equiv p$$ 이.. 2021. 7. 21. 역/이/대우 진리표? 각 명제 사이의 관계식의 진릿값을 보여주는 표 역/ 이 /대우 ex> 비가 오면 장화를 신는다 p : 비가 오면 q : 장화를 신는다 p->q 역 p와 q의 위치를 바꾸는 것 q->p 이 각각에 부정을 붙이는 것 ㄱp -> ㄱq 대우 각각에 부정을 붙이고 p와 q의 위치를 바꾸는 것 ㄱq -> ㄱp 왜씀❔❓ 증명하기 어려운 명제는 대우를 이용하여 증명할 수 있다. ex> 30이 10보다 크면 30은 50보다 작다. p: 30이 10보다 크다 -> true q: 30은 50보다 작다 -> true p->q 는 참이다. 역 q->p -> 30이 50보다 작다면 30이 10보다 크다 이 ㄱp -> ㄱq -> 30이 10보다 작거나 같으면 30은 50보다 크거나 같다. false -> false -->.. 2021. 7. 20. 명제와 연산자 명제❔ 진실 혹은 거짓 T/F 로 진리를 구분할 수 있는 문장으로 항상 참과 거짓 둘 중 하나의 값만 가진다. 여러개의 명제를 조합 할 수도 있다. 예시 11은 소수이다 명제! 넷플릭스는 재미있다. 명제가 아니다. 이거는 사람마다 의견이 다를 수 있기 때문. 연산자 연산자는 명제를 연산하기 위한 도구이다. 기본 연산자로는 6가지가 있다. Not ㄱ P P 가 거짓이면? 참 , 참이면? 거짓 And (p^q) and 연산자와 똑같음 . 둘 다 참일 경우만 참 Or 논리합 p OR q Exclusice Or 배타적 논리합 p XOR q 단 한개만 참일 때 결과가 참이다. Implication 함축(조건 명제) p -> q p q p->q T T T T F F F T T F F T 참 값이고 거짓 값일 때만 .. 2021. 7. 12. 이전 1 다음
