안녕하세요 여러분
저는 논리학 교양을 듣는 대학생 입니다
막히는 것이 있어 능력자 분들의 도움을 얻고자 방문하게 됐습니다

ㅡ
문제)

이 일련의 문장들로

1. show inconsistency by driving contradiction
(모순도출로 inconsistency 를 보여라)

2. show consistency by giving assignment of truth value that would make all members of the set true
(진리값을 부여해서 consistency 를 보여라)

라는 문제가 있고 이 문제를







1번 문제)

모순도출은 위에 주어진 문장들로
~r 이라는 결론 ( ∴ ~r ) 을 내린 뒤

여기서 귀류법을 사용하여
r 이라는 새로운 전제를 만들어
~r • r 로 모순을 만들어 내서 풀었고

ㅡ

2번 문제)

진리표 경우의 수를 찾아 (truth table을 썼어요)
모든 문장들이 T가 되는 각 성분의 T/F 값의 경우 중 하나인
(p, q, r, s, t) = (T, T, F, F, T)
를 적었습니다

ㅡ

이제 질문!

1. 제가 문제를 맞게 풀었나요?
2. (2)번 문제는 (1)처럼 추론규칙화 하는걸 동원해서 풀순 없나요?

교수님한테 물어봐도 너무 나이브 하게 설명해 주시고
메일도 이제 귀찮으셔서 안 받으시고
솔루션도 없어서 능력자 분들의 도움을 감히 구하고자 올립니다