(유튜브 동영상인데 현재는 삭제되어서 내용만 남김)

1

개념

• 4대 논리학자 - 아리스토텔레스, 라이프니츠, 프레게, 괴델
• 시대가 지나다보니 논리가 기호화됨. 그래서 수학처럼 계산할 수 있게 되어서 기호논리학이 수학의 일부가 됨.
• 명제 $(p, q, r)$
• 명제함수
• 동치 $(p \equiv q)$
• 명제의 연산 - 부정(not), 논리합(or), 논리곱(and), 조건문(if p, q)

제목 없는 데이터베이스

• 항진명제 $(t)$
• 모순명제 $(c)$
• 함의

논리식

• $p \to q \equiv \neg p \vee q$
• $p \leftrightarrow q \equiv (p \to q) \wedge (q \to p)$
• $p \Leftrightarrow q : p \equiv q$
• $p \vee t \equiv t$
• $p \wedge t \equiv p$
• $p \vee c \equiv p$