이산수학 기초

이산수학이란?

• 컴퓨터를 위한 수학 (0, 1)
• 불연속적인 숫자를 다루는 수학
• 자료구조와 알고리즘의 베이스
• 컴퓨터 과학의 베이스

명제

• 참 혹은 거짓으로 진리를 구분할 수 있는 문장

연산자

• 명제를 연산하기 위한 도구
  Not, And, Or, Exclusive Or, Implication, Biconditional

역, 이, 대우

• 본 명제의 증명이 어려운 경우 역, 이, 대우를 이용해 증명 가능
• 명제 : p -> q
  역 : q -> p
이 : ~p -> ~q
대우 : ~q -> ~p >> 본 명제와 항상 같은 진리값을 가짐

동치

• '논리적으로 일치한다'는 의미
• 같은 의미를 가진 더 쉬운 명제를 발견하는데 사용
  

특히 마지막 4개 법칙이 중요!
(De Morgan, Absorption, Negation, Implication)

Reference

• https://tutorialspoint.dev/computer-science/engineering-mathematics/mathematical-logic-propositional-equivalences