Relational Logic

Streaming video - 2016

Hone your skill with first-order predicate logic by expanding into relations. An example: "If I am taller than my son and my son is taller than my wife, then I am taller than my wife."This relation is obvious, but the techniques you learn allow you to prove subtler cases.

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:22
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).