Logical Proofs with Equivalences

Contributor(s):

Material type: Film

FilmPublisher number: 1338365 | KanopyPublisher: The Great Courses, 2016Publisher: [San Francisco, California, USA] : Kanopy Streaming, 2017Description: 1 online resource (streaming video file) (33 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: Enlarge your ability to prove arguments with natural deduction by studying nine equivalences—sentences that are truth-functionally the same. For example, double negation asserts that a sentence and its double negation are equivalent. "It is not the case that I didn’t call my mother,"means that I did call my mother.

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.

Enlarge your ability to prove arguments with natural deduction by studying nine equivalences—sentences that are truth-functionally the same. For example, double negation asserts that a sentence and its double negation are equivalent. "It is not the case that I didn’t call my mother,"means that I did call my mother.

Mode of access: World Wide Web.

In English