Validity in First-Order Predicate Logic
(eVideo)
Contributors
Published
[San Francisco, California, USA] : The Great Courses, 2016., Kanopy Streaming, 2017.
Physical Desc
1 online resource (streaming video file) (35 minutes): digital, .flv file, sound
Status
More Details
Format
eVideo
Language
English
Notes
General Note
Title from title frames.
General Note
In Process Record.
General Note
Film
Date/Time and Place of Event
Originally produced by The Great Courses in 2016.
Description
For all of their power, truth tables won’t work to demonstrate validity in first-order predicate arguments. For that, you need natural deduction proofs—plus four additional rules of inference and one new equivalence. Review these procedures and then try several examples.
System Details
Mode of access: World Wide Web.
Description
Loading Description...
Citations
APA Citation, 7th Edition (style guide)
(2016). Validity in First-Order Predicate Logic . The Great Courses.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)2016. Validity in First-Order Predicate Logic. The Great Courses.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Validity in First-Order Predicate Logic The Great Courses, 2016.
MLA Citation, 9th Edition (style guide)Validity in First-Order Predicate Logic The Great Courses, 2016.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
ad40e326-263c-8605-30e6-18d2db9529d1-eng
Grouping Information
Grouped Work ID | ad40e326-263c-8605-30e6-18d2db9529d1-eng |
---|---|
Full title | validity in first order predicate logic |
Author | the great courses |
Grouping Category | movie |
Last Update | 2024-03-13 16:14:09PM |
Last Indexed | 2024-06-01 01:29:55AM |
Book Cover Information
Image Source | sideload |
---|---|
First Loaded | Dec 13, 2023 |
Last Used | May 4, 2024 |
Marc Record
First Detected | Jul 18, 2023 10:19:22 AM |
---|---|
Last File Modification Time | Mar 13, 2024 04:14:20 PM |
MARC Record
LEADER | 01628ngm a22003974i 4500 | ||
---|---|---|---|
001 | kan1338371 | ||
003 | CaSfKAN | ||
006 | m o c | ||
007 | cr una---unuuu | ||
007 | vz uzazuu | ||
008 | 170424p20172016cau034 o vleng d | ||
028 | 5 | 2 | |a 1338371|b Kanopy |
035 | |a (OCoLC)985050660 | ||
040 | |a VDU|b eng|e rda|c VDU | ||
245 | 0 | 0 | |a Validity in First-Order Predicate Logic |
264 | 1 | |b The Great Courses,|c 2016. | |
264 | 1 | |a [San Francisco, California, USA] :|b Kanopy Streaming,|c 2017. | |
300 | |a 1 online resource (streaming video file) (35 minutes):|b digital, .flv file, sound | ||
306 | |a 003449 | ||
336 | |a two-dimensional moving image|b tdi|2 rdacontent | ||
337 | |a video|b v|2 rdamedia | ||
337 | |a computer|b c|2 rdamedia | ||
338 | |a online resource|b cr|2 rdacarrier | ||
500 | |a Title from title frames. | ||
500 | |a In Process Record. | ||
500 | |a Film | ||
518 | |a Originally produced by The Great Courses in 2016. | ||
520 | |a For all of their power, truth tables won’t work to demonstrate validity in first-order predicate arguments. For that, you need natural deduction proofs—plus four additional rules of inference and one new equivalence. Review these procedures and then try several examples. | ||
538 | |a Mode of access: World Wide Web. | ||
650 | 0 | |a Mathematics. | |
650 | 0 | |a Religion. | |
655 | 7 | |a Educational films.|2 lcgft | |
710 | 2 | |a The Great Courses (Firm),|4 dst | |
710 | 2 | |a Kanopy (Firm),|4 dst | |
856 | 4 | 0 | |u https://cambridgema.kanopy.com/node/338372|z A Kanopy streaming video |
856 | 4 | 2 | |z Cover Image|u https://www.kanopy.com/node/338372/external-image |