Discrete Mathematical Structures, Lecture 2.6: Propositions over a universe

preview_player
Показать описание
Discrete Mathematics, Lecture 2.6: Propositions over a universe

In this lecture, we consider propositions consisting of logical variables that can take values from a particular set or "universe", U. This gives rise to the notion of a "truth set" or "solution set". Truth sets propositions involving the logical and, or, and not operations can be computed using intersections, unions, and complements, respectively. We conclude with the notions of equivalence and implications for propositions over a universe.

Рекомендации по теме
Комментарии
Автор

Your videos are awesome Professor Macauley !

cristianchavez