cf) 명제논리: 문장(명제) 단위의 논리 체계. 논리연결사들의 진리조건에 따른 술어논리: 문장 안으로 들어가서. 단어, 개념, 양화, 전체와 부분 들이 A, B, P, Q 등으로 치환해서 표현되는 것 구성 by 단순명제(긍정단순문장으로 시작), 논리연결사, 괄호cf) 명제 ⇔ def) 참이나 거짓을 판별할 수 있는 식이나 문장 조건 ⇔ def) 미지수(빈 부분)가 있어서 그게 채워지면 명제가 될 수 있는 식이나 문장 언어표현을 논리연결사로 바꾸는 작업. 이때 뉘앙스 조심 “P이고 Q인 것은 아니다” ⇔ ~(P∩Q) (P∩Q 전체에 대해서 묶어야!)“그러나” ⇔ ∩“그럼에도 불구하고” ⇔ ∩“비록 ~이지만” ⇔ ∩”적어도 하나는” ⇔ ∪“P가 옳거나 Q가 옳다” ⇔ P∪Q..