- Hi I Need Help In This Question Please Step By Step With Explanation Thank You 1 (46.32 KiB) Viewed 15 times
b) Givens 1\x(A(x) v B(x)) 2 Vr(-B(x) V D(x)) 3 Vx(C(x) → ¬D(x)) - 4 3x¬A(x)
hi, i need help in this question please, step by step with explanation.thank you.
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
hi, i need help in this question please, step by step with explanation.thank you.
hi, i need help in this question please, step by step withexplanation.thank you.
1 Inference proofs Use laws of equivalence and inference rules to show how you can derive the conclusions from the given premises. Not all givens may be necessary Be sure to cite the rule and line number(s) used at each step. a) Givens Hint: Use the direct proof rule here 1 (p^t) → r 2 q→ (u^t) 3 u p
b) Givens 1\x(A(x) v B(x)) 2 Vr(-B(x) V D(x)) 3 Vx(C(x) → ¬D(x)) - 4 3x¬A(x)
1 Inference proofs Use laws of equivalence and inference rules to show how you can derive the conclusions from the given premises. Not all givens may be necessary Be sure to cite the rule and line number(s) used at each step. a) Givens Hint: Use the direct proof rule here 1 (p^t) → r 2 q→ (u^t) 3 u p
b) Givens 1\x(A(x) v B(x)) 2 Vr(-B(x) V D(x)) 3 Vx(C(x) → ¬D(x)) - 4 3x¬A(x)