Symbolic Logic

posted by .

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

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. Introduction to logic

    I need help on Quantifier logic problems?
  2. Chemistry

    I think these I know how to do ....just want someone to check..still sorta mixed up on the first question. Thanx For the following reaction, what is the correctly balanced reduction half-reaction?
  3. maths

    A sequence is defined by un = 2×(−0.5)n + 3 (n = 1,2,3, . . .). Choose the option that best describes the long-term behaviour of the sequence. Options A un becomes arbitrarily small (that is, un → 0 as n→∞). …
  4. Symbolic Logic

    Even if you know only some of them please help! 1. Give a proof of the following: (∀F)( (P)( [ιxGx][Px] ⊃ F(P) ) ⊃ F(G)) (∃F)( (P)( F(P) ≡ [ιxGx][Px]) Therefore, E!(ιxGx) 2. Prove the following: …
  5. Algebra/Number Theory

    Consider the set of all functions f:ℚ→ℚ such that f(x+f(y))=f(x+y)+f(y) ∀x,y ∈ ℚ. Find the sum of all possible (distinct) values of f(99).
  6. Logic

    Even if you know only some of them please help! 1. Give a proof of the following: (∀F)( (P)( [ιxGx][Px] ⊃ F(P) ) ⊃ F(G)) (∃F)( (P)( F(P) ≡ [ιxGx][Px]) Therefore, E!(ιxGx) 2. Prove the following: …
  7. Discrete Math

    So, the question I got was: ∀x,(x =/= 0) → (∃!y, xy = 1) I'm really confused about what the "∃!y" means in this context, because the way I'm interpreting the question is: "For all x (when x is not equal to 0), …
  8. math(Discrete)

    Determine whether the statement ∀x ∈ Z, ∃y, z ∈ Z[x = 5y + 7z] is true or false. Explain.
  9. Math

    In the questions below P(x,y) means “x and y are real numbers such that x + 2y = 5”. a) Determine whether the statement ∃x∀yP(x,y) is true. b) Negate the statement ∃x∀yP(x,y).
  10. Discrete math

    TRUE OR FALSE ? Justify your answer. a. There exist real numbers a and b such (a+b)^2 = a^2 + b^2. b. For any real number x, there exists a unique number -x such that x + (-x) = 0. c. Any integer n is either odd or even. d. Any real

More Similar Questions