Validity in First-Order Predicate Logic
(2017, original release: 2016)
Nonfiction
eCourse
Details
PUBLISHED
The Great Courses, 2016
[San Francisco, California, USA] : Kanopy Streaming, 2017
[San Francisco, California, USA] : Kanopy Streaming, 2017
DESCRIPTION
1 online resource (streaming video file) (35 minutes): digital, .flv file, sound
ISBN/ISSN
1338371
LANGUAGE
English
NOTES
Title from title frames
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
In Process Record
Film
Originally produced by The Great Courses in 2016
Mode of access: World Wide Web
In English