Jump to content

Home

Emperor Devon

Members
 View Profile  See their activity

  • Posts

    5569

  • Joined

  • Last visited

Personal Information

  • Biography
    I am a walking mass of chemicals that was forcefully expelled from the womb a number of years ago. I will eventually grow old and fat before expiring completely, at which said state my carcass will be shoved into a box and buried beneath the earth.
  • Interests
    No.
  • Occupation
    Student
  • Current Game
    Ass Effect
  • Web Browser
    Firefox
  • Favorite LucasArts Game
    KotOR II
  • Resolution
    1024x768
  • Height in cm
    165

Contact Information

  • Homepage
    http://www.starterupsteve.com/swf/steadyhand.html
  • Skype
    emperor_devon

Emperor Devon's Achievements

Newbie

Newbie (1/14)

10

Reputation

Single Status Update

See all updates by Emperor Devon

  1. Samuel Dravis

    1.◊(∃x)Ux

    2. □(x)(Ux→□Ox)

    3.assumption: ~(◊∃x)Ox

    4. W: (∃x)Ux (from 1)

    5. (x)~Ox (from 3)

    6. W: Ua (from 4)

    7.W: (x)(Ux→□Ox) (from 2)

    8. ~Oa (from 5)

    9: W: (Ua→□Oa) (from 7)

    10: □Oa (from 6 and 9)

    11: Oa(from 10)

    C: (∃x)Ox (from 3; 8 contradicts 11)

×
×
  • Create New...