Natural Deduction: Negation Introduction and Negation Elimination

Loading...

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

Uploaded by on Sep 14, 2009

Program: Deductions by Wandering Mango (http://www.wanderingmango.com). Tutorial on Negation Introduction and Negation Elimination using Deductions. This tutorial is a short introduction to the negation rules in formal logic. In particular, it looks at the Fitch-style rules, as opposed to the Lemmon-style rules. It illustrates the rules by appealing to a hypothetical computer program that plays chess, but wins every game (which is contradictory, because if the program plays both sides, at least one side will not win).

  • likes, 2 dislikes

Link to this comment:

Share to:
see all

All Comments (0)

Sign In or Sign Up now to post a comment!
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