Wednesday
August 27, 2014

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

Introduction to logic - I need help on Quantifier logic problems? Using the ...
Symbolic Logic - Even if you know only some of them please help! 1. Give a ...
Logic - Even if you know only some of them please help! 1. Give a proof of the ...
Algebra/Number Theory - Consider the set of all functions f:ℚ→ℚ...
Chemistry - I think these I know how to do ....just want someone to check..still...
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, . . .). ...
Math - . If 111 → 13, 112 → 24, 114 → 46, and 115 → 57, ...
Science asap - 1. Which of the following describes the correct sequence of ...
physics - Using dimensional analysis, which one of the following equations is ...

Search
Members