[일반] 일상적인 언어 논리식이렇게 쓰는 게 맞나요?

[여친구함(psychonerd199)]

비가 안와도 소풍을 안 간다를 저렇게 써도 되는 게 맞나요?

논리식이랑 일상어랑 차이가 있다해도 이상한거 같은데

~(~r→p) 진리표 그려보면

r        p        ~(~r→p)

T       T        F

T       F        F

F       T        F

F       F        T

이렇게 되는데

일상적으로 보면 비가안와도 소풍안간다에 비가오면 당연히 소풍안간다는 의미가 내포되어있는거 같은데

그러면 이렇게 쓰면 안되지 않나요?

그럼 Exer.1.1문제도 진리표상 차이가 난다는건 알겠는데 의미론적으로

저렇게 쓰면 일상어와 괴리감이 너무 크지 않나요?

[기괴공학도(thecoqproofassistant)]

책 사셨군요. 1, 2 단원는 힘 주면서 읽지 마시고, 가볍게 보시는 걸 추천드려요.

[여친구함(psychonerd199)]

네 저도 전공으로 보는게 아니라서 중간부터 이것저것 보다가 첫페이지 봤는데 저부분이 제눈엔 너무 이상하게 느껴져서요

[익명(223.38)]

먼책임?

[여친구함(psychonerd199)]

정주희 교수님 수리논리와 집합론 입문이었나 정확하게 기억은 안나네요

[익명(223.38)]

아하 감사용

[익명(14.49)]

나도 이거 이상하더라. 좋은 예는 아닌 듯.