[일반] 이거 이산수학 논법 유효해??

[익명(1.212)]

p  v  r   ->  q

q

————-

따라서 ㄱp. -> r

답은 유효하지 않다 인데 풀이 과정좀 ㅠㅠ

[익명(anxious1657)]

p->q이고 q가 참이라 해서 p가 참일 이유도 없지

[익명(anxious1657)]

너는 q->p를 주장중

[수갤러 1(117.111)]

진짜 모르겠는데 무슨 뜻이야..?ㅠㅠ

[익명(anxious1657)]

p->q일때 q->p도 성립할까?

[수갤러 1(117.111)]

p v r -> q 일때를 말하는거 맞지? 그 역은 성립 안하지 않아?

[수갤러 1(117.111)]

아니 애초에 왜 유효하지 않은지, 모순이 일어나서인지 그 조차도 모르겠어. 그냥 p r q 하나하나 참 거짓 따져가며 노가다로 구해봐서 모순이 일어나는지 따지는게 정답이야?

[익명(anxious1657)]

아니아니 일단 저 문제는 잊고

[익명(anxious1657)]

일단 p->q라고 항상 q->p인건 아니라는건 알거야 우선 p v r이 참이면 ~p->q인건 맞지만 문제는 p v r이 참이라는 근거가 없단거지

[익명(anxious1657)]

~p->r임 잘못 썼다

[수갤러 1(117.111)]

아~~~ 근거가 없기 때문이구나.. 이제야 알겠어ㅠ 늦었는데 답변 진짜 고마워ㅠㅠ

[갱생실패리카(lillollool)]

pqr순서대로 FTF인경우만보면

[수갤러 1(117.111)]

응 응

[ㅇㅇㅇ(47.151)]

반례 하나만 찾아