- Physical Description: 1 online resource (streaming video file) (32 minutes): digital, .flv file, sound
- Publisher: [San Francisco, California, USA] : The Great Courses, 2016.
Title from title frames.
In Process Record.
|Date/Time and Place of an Event Note:||
Originally produced by The Great Courses in 2016.
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.
|System Details Note:||
Mode of access: World Wide Web.
Search for related items by subject