Santa Barbara City College Validity of Abstract Arguments Paper
Question Description
Ch. 36 Using only MP, MT, DN, Simp, Conj, CS, DS, Disj, and DM.
Prove the validity of the following abstract arguments:
a)
- ¬(S ? T) Prem
- A ? (S ? T) Prem
- P ? A Prem
- ¬Q ? A Prem /? P & ¬Q
b)
- ¬B & ¬C Prem
- ¬C ? D Prem
- (D & ¬B) ? (E ? ¬H) Prem
- E & (F ? H) Prem /? ¬F
c)
- (C ? F) & G Prem
- (F ? D) ? D Prem
- ¬D Prem /? ¬C ? H
d)
- H ? ¬(K & J) Prem
- ¬(¬K ? D) Prem
- ¬¬H Prem /? ¬J
Have a similar assignment? "Place an order for your assignment and have exceptional work written by our team of experts, guaranteeing you A results."