코로나19로 유명한 벚꽃 거리들은 제한되었네요ㅠㅠ (술집에는 사람들이 왜 이렇게 많은지...) 아무튼 서로 조심해서 더 이상 확산되지 않고 빠르게 마무리되었으면 하는 바람과 함께 학습을 시작하겠습니다 지난 시간에 명제 논리와 논리 연산자에 대해 알아보았고 이번 시간은 이어서 논리적 동치부터 학습을 진행하겠습니다 [정의] 논리적 동치(logically equivalent) 쌍방 조건 p≡q가 항진 명제이면, 합성 명제 p,q는 논리적 동치라 한다 논리적 동치의 정의에서 항진 명제(tautology)가 등장하네요 항진 명제는 합성 명제 내의 단순 명제들의 진리값에 관계없이 그 합성 명제의 진리값이 언제나 참인 명제입니다 추가로 모순 명제(contradiction)은 합성 명제의 진리값이 언제나 거짓인 명제를..