했던것들/이산수학
명제 논리(propositional logic)
명제(proposition)란 어떤 사고를 나타내는 문장 중에서 참(true)이나 거짓(false)을 객관적이고 명확하게 구분할 수 있는 문장이나 수학적 지식을 말한다. 명제는 통상 소문자로 표시하고 각각의 진리값(Truth value)을 가진다. 이때 명제는 T(true)와 F(false)의 2가지 진리값을 가지므로 이진 논리라고 한다. 논리 연산 단순 명제 : 하나의 문장이나 식으로 구성되어 있는 명제 ex) 개는 동물이다. 합성 명제 : 여러 개의 단순 명제들이 논리 연산자들로 연결되어 만들어진 명제 ex) 개는 동물이고, 사슴벌레는 곤충이다. 논리학에서의 논리 연산자 ~ (부정, NOT) ∧ (논리곱, AND) ∨ (논리합, OR) ⊕ (배타적 논리합, Exclusive OR) → (조건, if ..
