CS/이산수학2 역/이/대우 진리표? 각 명제 사이의 관계식의 진릿값을 보여주는 표 역/ 이 /대우 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 다음
