5. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalization

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,905
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Link to this comment:

Share to:
see all

All Comments (4)

Sign In or Sign Up now to post a comment!
  • Thanks for posting (and for the pdf), very clear examples.

  • In the second colomn, line 3, the conclusion is valid but not complete from the premises. When C then not A, is also included.

  • great.. now on to induction and recursion....

  • those videos helped me a lot to understand and clear things up. thanks!

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