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:

[ιxMx][Thales believed that Bx]

[ιxMx][ιyEy][x=y]

Therefore, [ιxEx][Thales believed that Bx]



3. Prove the following:

Kepler Believed that (9 > 7)

(∃x)( (z)(Pz ≡ z=x) • x = 9)

Therefore, (∃x)( (z)(Pz ≡ z=x) • Kepler believed that (x>7))



a) The fastest man on Earth is not superman. Mx: x is a man; Fxy: x is faster than y; Sx: x lives on Earth but was born on Krypton. (Express it first with scope markers and then translate. There are two scopes.)

b) Pegasus is not equal to Pegasus. Px: x is winged and a horse. (Express first with scope markers and then translate. There are two scopes.)

c) Oedipus believed that Jocasta was not his mother. (Hint: Oedipus is famous for marrying his mother Jocasta, not knowing she is his mother. Give a primary scope occurrence for the description of Jocasta as “the mother of Oedipus.” Pxy: x gave birth to y; Ox: x is most famous topic of psychoanalysis. “Jocasta” is replaced by “the mother of Oedipus,” which is (ιx)[ιyOy][Pxy].

  1. 👍 0
  2. 👎 0
  3. 👁 46
asked by Ryan

Respond to this Question

First Name

Your Response

Similar Questions

  1. Math

    Please help me with this problem: A bourbon that is 51 proof is 25.5% alcohol by volume while one that is 82 proof is 41% alcohol. How many liters of 51 proof bourbon must be mixed with 1.0 L of 82 proof bourbon to produce a 66

    asked by Lorie on April 5, 2013
  2. college math

    I posted this problem earlier, but I still can't figure it out. It is for extra credit. I was hoping if someone could please solve it. I would greatly appreciate it. A bourbon that is 51 proof is 25.5% alcohol by vol. while one

    asked by Lorie on April 5, 2013
  3. math

    A bourbon that is 51-proof is 25.5% alcohol by volume while one that is 82-proof is 41% alcohol by volume. How many liters of 51 proof bourbon must be mixed with 1.0-L of 82 proof bourbon to produce a 66 proof bourbon? Give answer

    asked by Lorie on April 4, 2013
  4. Geometric progression

    sum of 4 terms of g p is 30 & sum of first and last term is 18 . Find gp a(r^4-1)/(r-1) = 30 a + ar^3 = 18 a(1+r^3) = 18 it's easy to see that if a=2, r=2 Does that work on S4? 2*15/1 = 30. Yes So, the GP is 2,4,8,16,... But sir I

    asked by Venkatesh on March 23, 2016
  5. MATH

    Using the Law of Cosines for vectors, give a vector proof that if quadrilateral ABCD is a rhombus, diagonal AC bisects

    asked by Pam on November 2, 2011
  6. communication

    In general, thesis or central idea is supported by claims; claims are supported by proof; and A.proof is supported by development,including details and examples B.proof is supported by the specific purpose C.proof is supported by

    asked by Michelle on November 13, 2011
  7. math

    can someone give me proof that a negative number times a negative number is a positive number I've always been told this in like seventh grade that it is but havne't been given any proof

    asked by Math on January 30, 2009
  8. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that

    asked by Joy on November 11, 2013
  9. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that

    asked by Joy on November 11, 2013
  10. Philosophy

    I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that

    asked by Joy on November 11, 2013
  11. Math Calculus

    This is all about the intermediate value theorme.. You wish to visit you sweetheart, but you don't want to go all the way over to their house if your sweetheart isn't home. What sort of "existence proof" could you do beforehand to

    asked by Desperate on September 24, 2008

More Similar Questions