이산수학

진실 혹은 거짓T/F 로 진리를 구분할 수 있는 문장으로 항상 참과 거짓 둘 중 하나의 값만 가진다.여러개의 명제를 조합 할 수도 있다.11은 소수이다명제!넷플릭스는 재미있다.명제가 아니다.이거는 사람마다 의견이 다를 수 있기 때문.연산자는 명제를 연산하기 위한 도구이

각 명제 사이의 관계식의 진릿값을 보여주는 표p와 q의 위치를 바꾸는 것q->p각각에 부정을 붙이는 것ㄱp -> ㄱq각각에 부정을 붙이고 p와 q의 위치를 바꾸는 것ㄱq -> ㄱp p: 30이 10보다 크다 -> true q: 30은 50보다 작다 -> true p

:bulb: 서로 같은 진리값을 가지고 있을 때 동치라고 한다.:star::star: $p\\rightarrow q$ 의 경우 $ \\urcorner p \\vee q$ 와 똑같은 의미이다.example1\. 동치 법칙을 이용해서 $(p \\rightarrow q)