Validity in First-Order Predicate Logic
2017
Computer Files, Websites
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.
Main title:
Author:
The Great Courses (Firm), distributorKanopy (Firm), distributor
Imprint:
The Great Courses, 2016.[San Francisco, California, USA] : Kanopy Streaming, 2017.
Collation:
1 online resource (streaming video file) (35 minutes): digital, .flv file, sound
Notes:
Title from title frames.In Process Record.FilmOriginally produced by The Great Courses in 2016.In English
System details:
Mode of access: World Wide Web.
Language:
English
Subject:
BRN:
419551
Electronic access:
Access eFilm - A Kanopy streaming videohttps://www.kanopy.com/node/338372/external-image - Cover Image