이거 오류 아님?

[익명(117.111)]

셋째줄에 a•~b가 참이면 a->b가 거짓이라는데

넷째줄처럼 양옆을 부정하려면 앞뒤도 바꿔야 하는 거 아니야?

그래서 a->b가 참이면 ~(a•~b)가 참 이게 맞지

[익명(218.55)]

두 변은 동치임

[익명(218.55)]

내가 봤을 때 저 빨간 화살표는 논리학에서의 조건문 기호로 쓴게 아닌 것 같다…

[익명(211.36)]

그니까 저 둘이 동치임이 아직 증명이 안 됐잖아. 그 상태에서 그냥 양옆만 부정하는 게 잘못된 거지.