여기 브레인 많다고 들었는데..

불쌍한 인생좀 구제해주세요.. ㅋㅋ <-- 이게 본심 형들 도와줘

연습문제 1.1
~,∧,∨기호와 구성 성분 문장을 문자로 표현해 놓은 것을 사용하여 7번의 서술문을 기호 형태로
나타내라.
7.주안의 전공은 수학이고 컴퓨터 과학이 아니다.(m=”주안의 전공은 수학이다”, c=”주안의 전공은
컴퓨터 과학이다”)
 
17번의 명제식을 위한 진리표를 작성하라.
17. p ∧ (~q ∨ r)
 
45.번에는 정리 1.1.1로부터 논리적 동치가 유도되었다. 각 단계에서의 이유를 말하라.
45. (p ∧ ~q) ∨ (p ∧ q) ≡ p ∧ (~q ∨ q)      ??(?)
                    ≡ p ∧ (q ∨ ~q)      by(b)
≡ p ∧ t                     by(?) 
≡ p                           by(?) 
 
연습문제 1.2
9번의 명제식에 대한 진리표를 작성하라.
9. p ∧ ~r ↔ q ∨ r 
 
12. 예제 1.2.3에서 보인 논리적 동치 을 사용하여 다음 명제를 다시 쓰라(x는 특정 실수라 가정.)
If x > 2 or x < −2,then ?2 > 4
 
 
연습문제 1.3
논증식이 정당한지를 결정하기 위해서 진리표를 작성하라. 진리표에서 어느 열이 전제이고 어느
열이 결론인지 나타내고, 답이 맞음을 간단히 설명하라.
10.    p → r
          q → r 
  ∴ p ∨ q → r 
논증 23번을 기호를 사용하여 논리식으로 나타내고, 논증의 정당성을 진리표를 사용해서 밝히라.
진리표에서 어느 열이 전제이고 어느열이 결론인지 나타내고, 답이 맞다는 것을 간단히 설명하라.
23. 올레그의 전공은 수학이거나 경제학이다.
올레그의 전공이 수학이면, 올레그는 수학 362과목을 수강해야만 한다.
       ∴ 올레그의 전공은 경제학이거나, 올레그는 수학 362과목을 꼭 수강해야 하는 것은 아니다.
 
논증 24~32번 중 어떤 것은 정당하고 어떤 것은 역오류 또는 이오류를 범한다. 각 논증을 기호를
사용하여 논리식으로 나타내라. 논증이 정당하면 정당성을 보장하는 추론규칙을 확인하고 그렇지
않으면 어디에서 역오류 또는 이오류를 범했는지 말하라.
25.  이 실수는 유리수이거나 무리수이다.
이 실수는 유리수가 아니다.
         ∴ 이 실수는 무리수이다.
 
36. 컴퓨터 프로그램에 대해 다음의 정보가 주어져 있다. 프로그램에서 잘못된 점을 찾으라.
a. 선언하지 않은 변수가 있거나 처음 5개 라인에서 구문오류가 있다.
b. 처음 5개 라인에 구문 오류가 있다면, 세미콜론이 빠졌거나 변수 이름이 잘못 쓰여진 것이다.
c. 세미콜론이 빠지지 않았다.
d. 변수 이름이 잘못 쓰여지지 않았다.
 
40.암흑가의 리더인 샤키는 그의 네 명의 부하 중 한 명한테 살해되었다. 탐정가 샤프는 부하들과
인터뷰를 하였고 한 명만 제외하고 모두 거짓말을 하고 있다는 것을 알았다. 다음의 진술문을 바
탕으로 그는 누가 샤키를 살해하였는지 추론하였다.
a. 쇼코 : 레프티가 샤키를 살해하였다.
b. 패츠 :  머슬은 샤키를 살해하지 않았다.
c. 레프티 : 샤키가 살해될 때 머슬은 쇼코와 함께 크랩스(주사위 2개로 하는 노름의 일종)놀이를
하고 있었다.
d. 머슬 : 레프티는 샤키를 살해하지 않았다.
누가 샤키를 살해하였나?