[일반] (c=>p=>t)≡(c=>p)∧(p=>t)인가요?

[익명(49.174)]

.

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(106.102)]

아아 명제에요 =>는 부등호가아니라 함의기호로쓴거에욥

[익명(106.102)]

이항연산?만 배운상태라 괄호가없어서 당황스러운데 왼쪽부터 순서대로 결합 적용하는건가요?

[익명(106.102)]

질문 다시해도 되나요ㅠ 명제p,q,r에대하여 p->q->r을 어떻게 해석해야할까요

[익명(106.102)]

옙 신경써주셔서감사합니다

[익명(58.230)]

p->q->r 이란 표현이 어디서 나온거임?

[익명(49.174)]

연습문제인데 정확히는 어떤 명제p와 모순명제 c,항진명제 t에대하여 c=>p=>t임을 증명하시오 였어요 괄호가없어서 저명제자체를 어떻게받아들여야하는지를 모르겠습니다

[익명(58.230)]

아 항진 모순이구나 전 또 임의로 쓰신 기호인줄 제 생각에는 (c->p)->t , c->(p->t) 두 경우 모두 검증하시면될듯

[익명(49.174)]

감사합니다ㅠㅠㅠ