Saturday
May 30, 2015

Homework Help: Symbolic Logic

Posted by sara thunderbird on Sunday, November 25, 2012 at 11:14pm.

1. ((∀x-Fx v ∀xGx) v -(∀xKx → -∃y∀z∃w-Dyzw)) & ((∀xFx & ∀x-Gx) v (∃xKx → ∀y∃z∀wDyzw))
├ ∀x(((Fx → Gx) → (Kx → ∀y∃z∀wDyzw)) & ((∃y∀z∃w-Dyzw → -Kx) → (-Gx → -Fx)))
2. -∃x(Px → ∀yGxy) v ∃x(Lx & Sx), -∀x(-Lx v Sx) → (∀x∃y-Gxy→∃x-Px)
├ - ( ((∃x-Px v ∃x∀yGxy) → -∀x(Lx → -Sx)) → ( ∃x (Sx & Lx) & ∀x(Px & ∃y-Gxy) ) )


1. - ((H→ (-L→-P)) → - ( - (P→L) v H)) ├ (P→ (-L→ -H)) & (-P v (-H v L))
2. ((R v G) & -(G & R))  C, C  ((R v G) & -(G & R))
├ (G  ((R v C) & -(C& R))) & (((R v C) & -(C & R))  G)
3. ((J v F) → (R&S)) v B, (R&S) v (-B v (F & -J)) ├ - ( (-B((-J-F)&(R-S)))  ((FJ)& - ((-Rv-S)  -B)) )

Answer this Question

First Name:
School Subject:
Answer:

Related Questions

Members