Скачать или смотреть Predicate Logic | Quantifiers | Equivalences | Mathematical Logic | Maths for CS | CS Connect 22

This video discusses the predicate logic and the importance of quantification in predicates along with examples. Practice Problems are provided to aide the understanding of all discussed concepts.

00:00 Intro
00:01:11 Predicates
00:02:41 -Examples of Predicates
00:05:31 -n-ary Predicate
00:08:39 Quantifiers
00:12:30 -The Universal Quantifier
00:15:10 -The Existential Quantifier
00:17:26 --Uniqueness Quantifier
00:18:26 Precedence of Quantifiers
00:19:31 -Bound and Free variable
00:20:37 -Scope of a Quantifier
00:21:25 Logical Equivalences of Quantifiers
00:22:09 -Negating Quantified Expressions (De Morgan's laws for Quantifiers)
00:25:29 Practice Problems
00:25:32 1. Express each of these quantifications in English.
00:27:37 2. Express each of these sentences in terms of P(x), Q(x), quantifiers and logical connectives.
00:31:07 3. Express these statements without using quantifiers, instead using only negations, disjunctions and conjunctions.
00:36:39 4. For each of these statements, find a domain for which the statement is true and a domain for which the statement is false.
00:39:49 5. Translate each of these statements into logical expressions in three different ways by varying the domain and by using predicates with one and with two variables.
00:51:00 6. Find a counterexample, if possible, to these universally quantified statements.
00:54:52 7. Translate these specifications into English
00:57:24 8. Express each of these system specifications using predicates, quantifiers and logical connectives.
01:01:59 9. Establish these logical equivalences where x does not occur as a free variable in A.
01:10:41 10. What are the truth values of these statements? (involving uniqueness quantifiers)


Mathematical Logic Playlist:
   • Mathematical Logic  

Mathematics for Computer Science Playlist:
   • Mathematics for Computer Science  

CS Connect Playlist:
   • Computer Science Connect Series  

CS Connect File:
https://docs.google.com/presentation/...