논리적 동치 반응형 1 명제(Proposition) - 1 명제란 무엇인가? 명제(Propositon): 참 또는 거짓으로 판단이 가능한(진릿값을 가지는), 논리학적으로 뜻이 분명한 문장 또는 진술. 명제식이란? 명제식(propositional form) 명제 변수(p, q, r 등)와 논리연산자(~, ∨, ∧ 등)로 만들어진 식. (ex/ p ∧ q, p ∨ ~r) 명제 변수(p, q, r 등) 대신에 실제 명제가 대체되면 명제식은 명제가 된다. 논리 연산자(Logical operator) 또는 논리 연결사(Logical Connective) 단순 명제들로부터 복수 명제를 생성하기 위한 연산 기호(연결사). 명제 p와 q의 논리합(Disjunction), 논리곱(Conjunction) 논리합(Disjunction): 주어진 복수 명제 중에서 적어도 1개 이상의.. 2022. 7. 2. 이전 1 다음
