자연연역법 Qna 관련 답변 1 페이지

단순함축과 대우규칙을 이용해서 타당성을 증명할 수 있을까요? 전제: S∨T, S⊃(A∨X), T⊃{￢(X∧A)} / 결론: X≡A 안녕하세요. 자연 연역은 주어진 전제들과 대우규칙을...

문제 : 다음 논증의 타당성을 검증하시오. 이 전투에서 우리가 승리하려면 충분한 물자와 경험 많은 군인들이 있어야한다. 물자도 부족하고 경험 많은 군인들도 없다. 따라서...

~s -> f, f -> ~g |= g -> s 가정을 어떻게 둬야하는지 ㅜㅜㅜ 꼼꼼하고 자세한 풀이 바랍니다 오늘까지 부탁드려요! ~s -> f, f->~g 의 명제가 참이면 삼단 논법에 의하여 ~s -> ~g...

1. A→¬B⊣⊢¬A∨¬B 2. ㅏ (A→B)∨(B→A) 이 두 문제 증명 가능하신가요? 풀이과정도 상세히 부탁드립니다:)

1. (F v ~G) -> (F ^ ~H) 2. ~H -> ~G // F ^ ~G 이 논리식 해설좀 해주세요ㅠㅠ

1.(p->q)->((p->~q)->~p) 2.((p->q)->q)->(pvq) 3.((p->r)&(q->r))->((pvq)->r) 4.pv~p 편의상 알아보기 쉽게 알파벳은 대문자 기호로 하겠습니다. 1.(P→Q)→((P→~Q)→~P) 1....

1. (P∨Q)→(R∧S) ~R ∴P 2. (Q∨~R)∨S ~Q∨(R∧~Q) ∴R→S 3. P→(Q∧R) (Q∨S)→P ∴P≡Q 4. P∨Q Q→S P→S ∴S∧~(￢P→Q) 어떻게 푸나요??... 도저히 어려워서...