음 양도논법 다시 질문점

(p→r)∧(q→s)

p∨q

-----------

r∨s

이렇게 되어 있으면요.

 

위 두식을 결합시키 ((p→r)∧(q→s))→(p∨q) 이게 맞나요??

 

그리고 이걸 구해서 r∨s 이거랑 동치이면 되는건가요??

 

 

제목 이중부정이라 해버렷네영;;고쳣어요

(p→r)∧(q→s)

p∨q

-----------

r∨s


다시 말해 p→r이고, q→s 입니다.

그런데 p이거나 q이다.

따라서 r이거나 s 이다.

이건 그냥 풀이 과정이 없이 되는 걸로 알고 있는디.,.

ㅜㅜ대외 활동이랑 엠티간다고 연달아 수업을 세번빠졋더니 뭐가뭔지 모르겟어요아 시험 직전에 나온거에다가 이런문제 한개이상 낸다고 했는데 제일 기본형인데 이게 안풀림 ㅜㅜ

그런가요 음 분명 복습하는척하면서 슥슥 써서 해설해주셧던거같은데

p→r이고, q→s 이다. 두 명제가 참이네요

근데 p가 참이거나 q가 참이라네요

그럼 당연히 r 이 참이거나 s 가 참이죠

이런 사회에 필요없는 논리학을 내가 예과1학년 교양으로 들었다니 ㅁㄴㅇㄹ

농담이에요 ㅎㅎ

(p→r)∧(q→s) 이게 두명제 모두 참이란 의미에요?

아...후배랑 듣는데 쪽팔려서 도저히 묻지를 못하겟어요

3단논법은 대전제와 소전제가 다 참이어야 결론도 참이 되죠

대전제 (p→r)∧(q→s) 가 참이면, ∧는 and 이니

수1에서 배운 것처럼 p이면 r이고, q이면 s이다 를 이야기 하는거죠

한글로 풀이하면 더 이해하기 쉽지 않나요?
우산장수는 비가 오면 장사가 잘된다 (p→r) ∧비가 안오면 장사가 망한다(q→s)
그런데 비가 오거나 안온다. p∨q

따라서 장사는 잘되거나 망하거나다

야 스타2게시판에 별걸 다 물어보는구나

좋은 게시판 ㅋㅋㅋ

ㄴ 여기서 p : 비옴 r : 장사 굳
q : 비 안옴 s : 장사 망 이라고 보면 되것지용

아 그렇게 되는거구나...전 아예 식자체를 뭔지 몰랏으니 음

ㄴ 그러니까 우리는 논리학을 멀리하고 스타2를 가까이 하는 것이 낫습니다

ㅋㅋ

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

일반 논리학은 잘해냇는데 형식논리학은 보다 수학적이라 그런가 몇번 빼먹으니 얄짤없이 털리네요

ㄴ 확실히 문과쪽이셔서 그런가..? ㅠㅠ 음 아니 문과 비하는 아닌데..