[일반] ~(p -> q)

[익명(210.223)]

~q -> ~p 인가요?

p -> q = ~p v q 인데 틀린거 아닌가요?

[익명(119.200)]

역은 그냥 화살표 방향만 바꾼거

[익명(210.223)]

수정

[익명(121.184)]

역은 q→p고 첫줄에 쓴건 '이'라고 부름

[D1ZZY(righteous4472)]

? 대우 아니었나요??

[익명(210.223)]

ㅇㅎ

[익명(210.223)]

근데 전체에 ~을 씌웠을때 첫줄에 쓴것처럼 안되죠?

[익명(121.184)]

아 미안 대우 맞음

[익명(121.184)]

~(p→q)=~(~p or q)=p and ~q. ~q→~p=q or ~p니까 둘이 다름. p가 참 q가 거짓인 경우가 반례

[익명(39.7)]

p -> q 는 p and ~q의 논리곱과 동치이고 그러므로 ~p or q