그랬었습니다

논리 말로 표현된 문장들에 대한 타당한 추론을 위해, 기호를 사용하여 문장들을 표현하고 기호의 조작을 통해 문장들의 참 또는 거짓을 판정하는 분야 명제 논리(propositional logic) 명제(proposition) 참, 거짓을 분명하게 판정할 수 있는 문장 명제를 P, Q등과 같은 기호로 표현 명제 기호의 진리값(truth value)을 사용하여 명제들에 의해 표현 문장 자체의 내용에 대해서는 무관심, 문장의 진리값에만 관심 기본 명제(primitive proposition) 하나의 진술(statement)로 이루어진 최소 단위의 명제 복합 명제(compound proposition) 기본 명제들이 결합되어 만들어진 명제 논리식(logical expression) 명제를 기호로 표현한 형식 명제..