everydayminder
초보자도 이해하기 쉬운 대우명제 시간이 한참 지나니, 논리학의 어떤 명제와 그 대우명제가 같은 진리값을 지닌다는 사실만 기억에 남고, 왜 그러한지는 설명하기 어렵더군요. 그래서, 이번 기회에 정리하고자 합니다. 논리 명제(proposition)의 일반적인 표기 $ p $ : p $ \neg q $: q가 아님 (negation) $ p \rightarrow q $ : p이면 q이다. $ p \rightarrow \neg q $ : p이면 q가 아니다. 명제의 논리 유형 원래의 명제가 $ p \rightarrow q $ (p이면 q이다) 라고 주어졌을 때, 위와 같이 표기하는 조건식의 관계의 변형은 다음과 같은 유형으로 나뉩니다. 역(converse) 가정과 결과가 뒤 바뀌는 것을 뜻합니다. $ q \ri..
