[대학교이상] 이산수학 추론 하나만 도와주실분..!

[익명(110.15)]

(pvq)^~p -> q임을 추론해야되는데

저는

(p^~p) v (q^~p) -> q

F v (q^~p) -> q

q^~p -> q

여기까지밖에 못했거든요ㅠㅠ

여기서 더 어떻게 진행할 수 있을까요...?/

[익명(39.7)]

준 명제 =((p+q)p')'+q =(pp'+qp')'+q=(0+qp')'+q=(qp')'+q =(q'+p)+q=(q'+q)+p=1+p=1이라 항상 참 같네요 (+:V, ×:^, '=ㄱ)임 (그리고 (p→q)=ㄱpVq니까)

[익명(110.15)]

아 죄송합니다ㅠㅠㅠ 선생님이 써주신거 써보면서 하니가 이해가 안되는 건 아닌데요... 문제가 (p+q)p' => q에요 그니까 좌변이 참일 때 우변임을 보여야 합니다...

[익명(39.7)]

그게 그냥 끝임 q^~p이면 q인거 맞지