논리적 추론이란 것을 알기 위해서는 용어부터 알아야 하지 않겠어? 정의(definition) 용어의 뜻을 명확히 하기 위해서 사용되는 것 *무정의 정의: 정의하지 않고 사용할 수 있는 일반적인 용어 문장(statement) 무정의 용어와 정의된 용어를 사용하여 만듦 명제(proposition) = prop 참이나 거짓 중 단 하나만 갖는 문장을 말한다. ** 대문자 P,Q,R로 많이 표현되고는 한다. 명제를 배우면 파생되는 용어들이 있지 진리값(truth value) 참과 거짓을 명제의 진리값이라 한다. **각각 T(또는 1), F(또는 0) 으로 표시한다 명제 변수(propositional variable) 진리값이 아직 밝혀지지 않은 임의의 명제 위에 것은 수학이랑 좀 달라보이는 감이 없잖아 있다. ..
