Validity in First-Order Predicate Logic
Streaming video - 2016
For all of their power, truth tables won’t work to demonstrate validity in first-order predicate arguments. For that, you need natural deduction proofs—plus four additional rules of inference and one new equivalence. Review these procedures and then try several examples.
Saved in:
- Subjects
- Genres
- Educational films
- Published
-
[San Francisco, California, USA] :
The Great Courses
2016.
2017. - Language
- English
- Online Access
- A Kanopy streaming video
Cover Image - Item Description
- Title from title frames.
In Process Record.
Film - Physical Description
- 1 online resource (streaming video file) (35 minutes): digital, .flv file, sound
- Playing Time
- 00:34:49
- Format
- Mode of access: World Wide Web.
- Access
- AVAILABLE FOR USE ONLY BY IOWA CITY AND RESIDENTS OF THE CONTRACTING GOVERNMENTS OF JOHNSON COUNTY, UNIVERSITY HEIGHTS, HILLS, AND LONE TREE (IA).