유효추론과 논리적 동치

[123(210.117)]

명제들의 유효추론을 보일 때 논리적 동치를 활용해서 보일 수 있는 것은 당연해 보입니다.

반대로, 논리적 동치를 보일 때 유효추론의 방법을 활용하는 건 문제가 있어보입니다. 유효추론이 가리키는 것은 전제가 참일 떄, 결론이 참이다는 것 뿐인데, 논리적 동치에는 거짓의 내용도 포함하고 있기 때문입니다.

제 생각이 맞는지? 맞다면 논리적 동치를 보일 떄 유효추론을 쓰면 안되는 예시가 있을까요?

[TIME(ghawmzldjs71)]

유효추론이라는 명칭은 처음 듣는데 혹시 연역규칙에서 동치 제외한 그거 말하는거?

[TIME(ghawmzldjs71)]

내가 생각한 그게 맞다면 논리적 동치인 p<->q 는 p->q 와 q->p의 연언으로 이루어져 있음을 상기해보셈

[쓰니(121.154)]

오 한쪽만 되서는 안되는구나 감사염