Demonstrating Invalidity
Type
Label
Demonstrating Invalidity
Language
eng
Characteristic
videorecording
Main title
Demonstrating Invalidity
Oclc number
985048295
resource.otherEventInformation
Originally produced by The Great Courses in 2016
Runtime
31
Summary
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
Technique
live action
Contributor
Genre
Content
Distributor
Mapped to
Incoming Resources
- Has instance1
Outgoing Resources
- Contributor2
- Genre1
- Subject3
- Content1
- Distributor2
- Mapped to1