Predicate Logic

1. Logic Lecture: Introduction to Predicate Logic

Order: Reorder
Duration: 14:28
Updated: 15 Apr 2013

"propositional logic" universal existential instantiation generalization "rules of inference" "mathematical deductions"

http://wn.com/1_Logic_Lecture_Introduction_to_Predicate_Logic

Predicate Logic Symbolization Summary

Order: Reorder
Duration: 9:53
Updated: 07 Apr 2013

Summary of the basic symbolization forms for predicate logic.

http://wn.com/Predicate_Logic_Symbolization_Summary

Mod-01 Lec-17 Introduction to Predicate Logic

Order: Reorder
Duration: 51:38
Updated: 01 Apr 2013

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in.

http://wn.com/Mod-01_Lec-17_Introduction_to_Predicate_Logic

Introduction to Higher Mathematics - Lecture 6: Predicate Logic

Order: Reorder
Duration: 25:01
Updated: 16 Apr 2013

Now we're going to "upgrade" our logic to predicate logic, which lets us have a good bit more flexibility in how we describe various situations, including th...

http://wn.com/Introduction_to_Higher_Mathematics_Lecture_6_Predicate_Logic

Logic & Language - subjects & predicates in symbolic logic (Logic 2 of 5)

Order: Reorder
Duration: 6:32
Updated: 01 Apr 2013

The second video in this series introduces predicates and subjects, including the symbols you will use to represent them in symbolic logic. This lesson serie...

http://wn.com/Logic_Language_subjects_predicates_in_symbolic_logic_Logic_2_of_5

Predicate Logic Translations_Exceptives Exclusives Part 1_HD.mp4 - YouTube.mp4

Order: Reorder
Duration: 11:08
Updated: 04 Mar 2013

Video for Open Course Library Logic (PHIL&106), developed by Paul Herrick & Mark Storey.

http://wn.com/Predicate_Logic_Translations_Exceptives_Exclusives_Part_1_HDmp4_YouTubemp4

8.1 Predicate Logic: Symbols & Translation

Order: Reorder
Duration: 57:48
Updated: 17 Apr 2013

Professor Thorsby introduces the key elements of predicate logic for translation & symbolization.

http://wn.com/81_Predicate_Logic_Symbols_Translation

2. Logic Lecture: Introduction to Predicate Logic

Order: Reorder
Duration: 9:51
Updated: 06 Apr 2013

http://wn.com/2_Logic_Lecture_Introduction_to_Predicate_Logic

5.1 Predicate Logic (part 1)

Order: Reorder
Duration: 6:51
Updated: 05 Nov 2012

Rich Legum's Logic Course 5.1 Predicate Logic (part 1)

http://wn.com/51_Predicate_Logic_part_1

8.2 Predicate Logic: Using the Rules of Inference

Order: Reorder
Duration: 50:51
Updated: 06 Mar 2013

Professor Thorsby explains how to use the rules of inference in predicate logic using the the Universal Generalization, Universal Instantiation, Existential ...

http://wn.com/82_Predicate_Logic_Using_the_Rules_of_Inference

4. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Instantiation

Order: Reorder
Duration: 18:45
Updated: 17 Apr 2013

http://www.jasonjcampbell.org/uploads/Rules_of_Logical_Inference.pdf.

http://wn.com/4_Logic_Lecture_Predicate_Logic_Formal_Proofs_of_Validity_Universal_Instantiation

Predicate Logic Part 2

Order: Reorder
Duration: 9:28
Updated: 23 Jul 2012

logic is so so borrringgg.........

http://wn.com/Predicate_Logic_Part_2

Predicate Logic Trees

Order: Reorder
Duration: 8:00
Updated: 19 Mar 2013

Tree method for predicate logic.

http://wn.com/Predicate_Logic_Trees

Mod-01 Lec-18 The Semantic of Predicate Logic

Order: Reorder
Duration: 50:32
Updated: 13 Dec 2012

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in.

http://wn.com/Mod-01_Lec-18_The_Semantic_of_Predicate_Logic

3. Logic Lecture: Introduction to Predicate Logic

Order: Reorder
Duration: 14:32
Updated: 07 Apr 2013

http://wn.com/3_Logic_Lecture_Introduction_to_Predicate_Logic

5. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalization

Order: Reorder
Duration: 12:27
Updated: 24 Mar 2013

http://www.jasonjcampbell.org/uploads/Rules_of_Logical_Inference.pdf.

http://wn.com/5_Logic_Lecture_Predicate_Logic_Formal_Proofs_of_Validity_Universal_Generalization

Logic10 Symbolizing in Predicate Logic

Order: Reorder
Duration: 19:23
Updated: 07 Dec 2012

Symbolizing English statements into (monadic) predicate logic; simple and challenging examples, with hints and tips.

http://wn.com/Logic10_Symbolizing_in_Predicate_Logic

Predicate Logic Translations Part 1_HD.mp4 - YouTube.mp4

Order: Reorder
Duration: 12:30
Updated: 12 Jun 2012

Video for Open Course Library Logic (PHIL&106), developed by Paul Herrick & Mark Storey OCL,

http://wn.com/Predicate_Logic_Translations_Part_1_HDmp4_YouTubemp4

Logic12 Proofs in Predicate Logic

Order: Reorder
Duration: 20:46
Updated: 09 Dec 2012

Proofs in (monadic) predicate logic, with the help of the Power of Logic Web Tutor.

http://wn.com/Logic12_Proofs_in_Predicate_Logic

Logic & Language - quantifiers & bound variables (Logic 3 of 5)

Order: Reorder
Duration: 7:38
Updated: 16 Apr 2013

This video introduces quantifiers, including the universal quantifier "all", the existential quantifier "some" and the negative "no"/"not". You will also lea...

http://wn.com/Logic_Language_quantifiers_bound_variables_Logic_3_of_5

Predicate Logic proof example #1

Order: Reorder
Duration: 3:58
Updated: 09 Dec 2012

Predicate Logic Proof.

http://wn.com/Predicate_Logic_proof_example_1

Predicate Logic Proofs 1_Rules UI and EG_HD.mp4 - YouTube.mp4

Order: Reorder
Duration: 7:32
Updated: 07 Sep 2012

Video for Open Course Library Logic (PHIL&106), developed by Paul Herrick & Mark Storey.

http://wn.com/Predicate_Logic_Proofs_1_Rules_UI_and_EG_HDmp4_YouTubemp4

Predicate Logic Proof 1

Order: Reorder
Duration: 9:57
Updated: 30 Dec 2012

Proof 1 from packet page 5.6 (I cut the first 20 seconds of the video so that I could get this under 10 minutes. All that is missing are the introductory rem...

http://wn.com/Predicate_Logic_Proof_1

Branches of Mathematics

Pure mathematics

Applied mathematics

Related Topics

Make changes yourself !

Contents

Syntax [link]

See also [link]

Footnotes [link]

References [link]

http://wn.com/Predicate_logic