Demonstrating Invalidity
Streaming video - 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.
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) (32 minutes): digital, .flv file, sound
- Playing Time
- 00:31:17
- 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).