CUTE PUPPIES!!~*~*~

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
581 views
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Sep 6, 2011

First-order logic(FOL) is only sound and complete (and for that matter, intended) for use in a non-empty domain of discourse. While at first glance this may seem a trite detail, upon reflection it is wholly unclear why this is true, and utterly unsatisfying that quantification theory is only useful over a populated domain. Nevertheless, the utter collapse of FOL under an empty domain is easy enough to prove: suppose we examine an empty universe. It is clear that regardless of the predicate, the referred domain must be empty. It follows that any existential claim of this universe must be false. As a result, the contradiction of an existential claim must be true. By DeMorgan's Law, this means that any universal claim of the empty universe must be true. This is clearly false, as the domain of all objects is the empty set regardless of a universal claim's truthfulness, thus all universal claims are by definition undefined.

Category:

Music

Tags:

License:

Standard YouTube License

  • likes, 12 dislikes

Link to this comment:

Share to:

Uploader Comments (valdezmiguel2)

  • HEY ARENT U THE ONE WHO TRIED TO PWN AKSPARTANKIIIER WELL LOOKS LIKE U ARE THE ONE THAT GOT PWNED am i right people?

  • @wazzupimhere honestly? how?

    That coward immediately blocked me and then proceeded to avoid the (valid) points I raised by attacks ad hominem. If that is the type of 'owning' that you are into, I think you should probably reconsider your life.

Top Comments

  • No point to this vid.

see all

All Comments (16)

Sign In or Sign Up now to post a comment!
  • @surprisinglyfresh Shut the hell up, meatman. I am smarter, and more popular than you, dumb ass. Now go tattoo <3 BOOBIES <3 over your mama's ass.

  • @THEMULTIHALOSPARTAN What the fuck are you on about, faggot?

    I could whip you around a fencepost in less than a second, but why should I even bother? You're a mental midget... An empty shell... A COWARD WHO WILL NEVER SEE THE FOREST FOR THE TREES.

    I should end you, but why?

  • @THEMULTIHALOSPARTAN

    actually I take that back, your mystique intrigues me, want to be my online boyfriend?

  • @newtokyoterror Are you kidding me?!? He's a F***ING B****! P.S. You're racist.

  • I will kill your fucking pip-squeaks and you with my Brain.

  • cute too bad your a troll =/

Loading...
Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more