Demonstrating Invalidity

Contributor(s):

Material type: Film

FilmPublisher number: 1338373 | KanopyPublisher: The Great Courses, 2016Publisher: [San Francisco, California, USA] : Kanopy Streaming, 2017Description: 1 online resource (streaming video file) (32 minutes): digital, .flv file, soundContent type:

two-dimensional moving image

Media type:

video
computer

Carrier type:

online resource

Subject(s):

Genre/Form:

Educational films.

Online resources:

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.

Holdings ( 0 )
Title notes ( 7 )

No physical items for this record

Title from title frames.

In Process Record.

Film

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.

Mode of access: World Wide Web.

In English