[ 수학논리 ] 함의 ( implies )
명제 : 어떤 사람의 일그러진 표정은, 나를 무시하는 것을 "의미"한다. 1. 어떤 사람이 일그러진 표정으로 실제로 나를 무시한다.-> 기존 명제가 참이므로, 명제를 유지한다. 2. 어떤사람이 일그러진 표정을 지었지만, 나에게와서는 친절한 행동을 했다.-> 기존 명제가 깨지는 순간이므로, 적어도 그 사람에게는 명제를 더이상 들이대지 않아야한다. 3. 어떤사람이 환한 표정으로 왔지만, 나를 무시하는 행동을 했다.-> 기존 명제와 관련이 없으므로, 기존명제는 건드려지지 않는다. 그렇기 때문에 기존명제는 아직까지 참이다. 그말은 환한 표정을 짓는 사람이 많다고하더라도, 일그러진 표정을 경계하는 것을 늦추는 것은 절대 해선 안된다는 것이다. 4. 어떤 사람이 환한 표정으로 와서, 나를 친절하게 대했다.-> 마찬..
수학/논리
2025. 2. 21. 12:51