존나 짧으니까 내말듣고 평가좀
p=거짓
"p->(모든명제)"=참
즉,
거짓으로부터 모든명제를 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
p=거짓
"p->(모든명제)"=참
즉,
거짓으로부터 모든명제를 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
p인 명제가 거짓인 경우에 모든 명제가 참인 거니까 애초에 p 이면 q 이다는 성립
설명을 말같지도 않게 해놨네
애초에 가정이 p가 참인경우인데 그게 성립이 안 되잖음
지적하고자 하시는게 뭔지 잘모르겠음..
애초에 거짓인 명제인 P가 참인 경우엔 모든 명제가 참이라는 거를 증명할 수 있다는 건데
애초에 그런 가능세계는 존재하지 않는다는 거임
p가 참이면 q가 참이다 <- 이건 맞는데
따라서 q가 참이다 <-이게 아니라는거임
->기호를 증명으로 이해하셨구나아