Discrete Structures Lecture 9 Segment

Media Summary: 0:00 Rules of inference for predicate logic 0:35 Universal instantiation 2:09 Universal generalization 5:17 Existential instantiation ... A sample formal proof in predicate logic. A second sample formal proof in predicate logic.

Discrete Structures Lecture 9 Segment - Detailed Analysis & Overview

0:00 Rules of inference for predicate logic 0:35 Universal instantiation 2:09 Universal generalization 5:17 Existential instantiation ... A sample formal proof in predicate logic. A second sample formal proof in predicate logic. Exploring a special kind of relation, called an equivalence relation. Equivalence classes and partitions are also discussed. Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 0:00 Definition of logical equivalence in predicate logic 1:22 Four examples of logical equivalence, including De Morgan's laws for ...

Proving set equalities using proofs by mutual containment. 0:00 Syntax versus semantics 1:13 Definition of a truth table 1:27 Truth table for conjunction (AND) 7:15 Truth table for (inclusive) ... Another fully worked out example of equational reasoning In this video we prove the validity of the argument that we formalized in ... 0:00 Basic terminology: index of summation, lower limit, upper limit 3:57 Examples of sums 6:35 Multiple summations (similar to ...

Photo Gallery

Discrete Structures [Lecture 9 / Segment 1] - Predicate logic - Part 18/20

Discrete Structures [Lecture 9 / Segment 2] - Predicate logic - Part 19/20

Discrete Structures [Lecture 9 / Segment 3] - Predicate logic - Part 20/20

Discrete Math - 9.5.1 Equivalence Relations

Discrete Structures [Lecture 11 / Segment 2] - Intro to proofs - Part 9/17

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Discrete Structures [Lecture 6 / Segment 5] - Predicate logic - Part 9/20

Discrete Structures [Lecture 14 / Segment 5] - Intro to set theory- Part 9/10

Discrete Structures [Lecture 1 / Segment 2] - Propositional logic - Part 2/9

Discrete Structures [Lecture 4 / Segment 3] - Propositional logic - Part 9/9

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Discrete Structures [Lecture 23 / Segment 3] - Summation notation

View Detailed Profile

Discrete Structures [Lecture 9 / Segment 1] - Predicate logic - Part 18/20

Discrete Structures [Lecture 9 / Segment 1] - Predicate logic - Part 18/20

0:00 Rules of inference for predicate logic 0:35 Universal instantiation 2:09 Universal generalization 5:17 Existential instantiation ...

Discrete Structures [Lecture 9 / Segment 2] - Predicate logic - Part 19/20

Discrete Structures [Lecture 9 / Segment 2] - Predicate logic - Part 19/20

A sample formal proof in predicate logic.

Discrete Structures [Lecture 9 / Segment 3] - Predicate logic - Part 20/20

Discrete Structures [Lecture 9 / Segment 3] - Predicate logic - Part 20/20

A second sample formal proof in predicate logic.

Discrete Math - 9.5.1 Equivalence Relations

Discrete Math - 9.5.1 Equivalence Relations

Exploring a special kind of relation, called an equivalence relation. Equivalence classes and partitions are also discussed.

Discrete Structures [Lecture 11 / Segment 2] - Intro to proofs - Part 9/17

Discrete Structures [Lecture 11 / Segment 2] - Intro to proofs - Part 9/17

Proof by contraposition.

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument

Discrete Structures [Lecture 6 / Segment 5] - Predicate logic - Part 9/20

Discrete Structures [Lecture 6 / Segment 5] - Predicate logic - Part 9/20

0:00 Definition of logical equivalence in predicate logic 1:22 Four examples of logical equivalence, including De Morgan's laws for ...

Discrete Structures [Lecture 14 / Segment 5] - Intro to set theory- Part 9/10

Discrete Structures [Lecture 14 / Segment 5] - Intro to set theory- Part 9/10

Proving set equalities using proofs by mutual containment.

Discrete Structures [Lecture 1 / Segment 2] - Propositional logic - Part 2/9

Discrete Structures [Lecture 1 / Segment 2] - Propositional logic - Part 2/9

0:00 Syntax versus semantics 1:13 Definition of a truth table 1:27 Truth table for conjunction (AND) 7:15 Truth table for (inclusive) ...

Discrete Structures [Lecture 4 / Segment 3] - Propositional logic - Part 9/9

Discrete Structures [Lecture 4 / Segment 3] - Propositional logic - Part 9/9

Another fully worked out example of equational reasoning In this video we prove the validity of the argument that we formalized in ...

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8

Structural

Discrete Structures [Lecture 23 / Segment 3] - Summation notation

Discrete Structures [Lecture 23 / Segment 3] - Summation notation

0:00 Basic terminology: index of summation, lower limit, upper limit 3:57 Examples of sums 6:35 Multiple summations (similar to ...