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)) )

No one has answered this question yet.

Answer this Question

Related Questions

Introduction to logic - I need help on Quantifier logic problems? Using the ...
math - 1. The table shows the number of wild strawberry plants in a particular ...
physics - Using dimensional analysis, which one of the following equations is ...
Geometry (Logic) - Which argument is not valid? 1.) Given: a→b a ...
Philosophy - HELP - How would you construct a proof to show that the following ...
Philosophy - How would you construct a proof to show that the following ...
maths - A sequence is defined by un = 2×(−0.5)n + 3 (n = 1,2,3...
maths - A sequence is defined by un = 2×(−0.5)n + 3 (n = 1,2,3...
physics - What condition or conditions are necessary for static equilibrium? a) ...
Algebra II - Describe the end behavior of the graph of the polynomial function ...

For Further Reading

First Name:
School Subject:
Answer: