Demonstrating Invalidity
2017
Videos and DVDs
Find it!
Study two techniques for demonstrating that an argument in first-order predicate logic is invalid. The method of counter-example involves scrupulous attention to the full meaning of the words in a sentence, which is an unusual requirement, given the symbolic nature of logic. The method of expansion has no such requirement.
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) (32 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:
336183
Electronic access:
http://baysidelib.kanopy.com/node/338374 - A Kanopy streaming videohttps://www.kanopystreaming.com/node/338374/external-image - Cover Image
More Information: