Discrete Structures Lecture 9 Segment

May 22, 2026
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. 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) ... 0:00 Definition of logical equivalence in predicate logic 1:22 Four examples of logical equivalence, including De Morgan's laws for ...

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

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 Structures [Lecture 11 / Segment 2] - Intro to proofs - Part 9/17
Discrete Math - 9.5.1 Equivalence Relations
Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8
Discrete Structures [Lecture 18 / Segment 2] - Big-O notation
Discrete Structures [Lecture 1 / Segment 2] - Propositional logic - Part 2/9
Discrete Structures [Lecture 6 / Segment 5] - Predicate logic - Part 9/20
Discrete Structures [Lecture 4 / Segment 3] - Propositional logic - Part 9/9

Related Archives

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 Structures [Lecture 11 / Segment 2] - Intro to proofs - Part 9/17 Discrete Math - 9.5.1 Equivalence Relations Discrete Structures [Lecture 26 / Segment 8] - Structural induction - Part 8/8 Discrete Structures [Lecture 18 / Segment 2] - Big-O notation Discrete Structures [Lecture 1 / Segment 2] - Propositional logic - Part 2/9 The Age Of A Demon Slayer Icon: How Old Is Zenitsu Agatsuma Now? Planet Fitness Covington LA Sued Over Hidden Fees - A Closer Look The Lost Icon: Uncovering 2pac's Last Photo 25 Years After His Tragic Death A Closer Look At Fantasia's Secretive Wealth Distribution Is Craigslist Still Safe In Tucson AZ The Answer Will Surprise You Fond Du Lac Community Comes Together After Ueckert Witt Fond Du Lac Obituary Rocks Town Target Dailypay: Can You Really Make Money While You Sleep? Lakeland's Red-Light District: A Closer Look At The Controversy Surrounding SkiptheGames
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 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 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 26 / Segment 8] - Structural induction - Part 8/8

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

Structural

Discrete Structures [Lecture 18 / Segment 2] - Big-O notation

Discrete Structures [Lecture 18 / Segment 2] - Big-O notation

Welcome back to this

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 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 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 ...