딜레마 문제에 이거 빠져도 증명되나

[라이트빌런(miso9980)]

P->Q

R->S

인데

PvR 이 항 없이도

(PvR)->(QvS) 증명할 수 있음??

- dc official App

[익명(211.36)]

ㅇㅇ

[익명(211.36)]

의미론적으로 하면 됨. 그럼 완전성 정리에 의해서 구문론으로도 증명가능

[익명(211.36)]

진리표 작성해서 증명해봐

[라이트빌런(miso9980)]

자연연역으로도 풀수있음? 해봤는데 드 모르간 에 막힘, 아직 논리학 뉴비라 머가 문젠지 몰겠음 - dc App

[익명(1.227)]

'p v q 이 항 없이도'라는 게 증명 중에 p v q 형태의 식이 안 나왔으면 좋겠다는 뜻임? 그렇다면 일단 그 체계에서 →를 도입하는 규칙이 뭐가 있는지 보면 될듯?

[ㅁㅁ(111.239)]

위에 두명 말이 맞긴 한데, 뉴비라니까 좀더 쉬운데서 헤매고 있지 않을까 싶어서 답변. (p v q) 전제가 없으면 당얀히 (r v s)를 유도하진 못하겠지. 근데 (p v q)→(r v s)는 유도 가능함. (p v q)는 중간에 가정 했다가 제거하면 됨.