Results 1 to 2 of 2

Math Help - First-Order Deductive System

  1. #1
    Newbie
    Joined
    Apr 2012
    From
    New York
    Posts
    1

    First-Order Deductive System

    Can someone help me with this exercise?

    Show that the following is a theorem of the First-order deductive system:

    ⊢(∀y) ((∀x)F(x) → F(y))

    Thank you so much!!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: First-Order Deductive System

    Welcome to the forum. Please see this sticky thread.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 0
    Last Post: March 21st 2012, 02:38 AM
  2. System of first order ODE
    Posted in the Differential Equations Forum
    Replies: 21
    Last Post: November 29th 2010, 07:02 AM
  3. [SOLVED] Re-writing higher order spatial derivatives as lower order system
    Posted in the Differential Equations Forum
    Replies: 11
    Last Post: July 27th 2010, 09:56 AM
  4. Replies: 2
    Last Post: November 25th 2008, 10:29 PM
  5. System of second order ODE
    Posted in the Calculus Forum
    Replies: 0
    Last Post: November 15th 2008, 09:06 AM

Search Tags


/mathhelpforum @mathhelpforum