Mastering Knights, Knaves, and Propositional Logic in Discrete Math 🧠

This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. I decided that it might be of general interest for people wanting to learn about propositional logic (mathematical propositions, logical connectives - "and", "or", and "not", truth tables, logical equivalence, and the DeMorgan's laws) and one way that they can be used to solve classic Knights and Knaves problems.

Note that this video is part of a series kept in a playlist called [Discrete Math Class]:

https://youtube.com/playlist?list=PLZh9gzIvXQUtB1t57_Xyk3yp9MK2iIFXX

If you like this video, consider subscribing to my channel and let me know in the comments if you'd like to see more like this.

This textbook for the course is the open-source textbook by Oscar Levin:
http://discrete.openmathbooks.org/dmoi3.html
The video investigates ideas from Chapter 0.2 and Chapter 3.1.

0:00 : Knights and Knaves with Truth Tables
00:07 : Introduction with Knight and Knave Problem
00:48 : Propositions and Mathematical Statements
02:20 : Logical connectives and truth tables
05:20 : A detailed truth table example
07:00 : Logical equivalence and the DeMorgan's laws
08:55 : Revisiting the Knights and Knaves problem (solution)
11:30 : A bonus problem

#logic #propositionallogic #truthtables #knights #knaves #logicalconnectives #propositions #math #manim #logicpuzzle #demorgans #demorganslaws

To learn more about animating with manim, check out:
https://manim.community

_______________________________________
Background Music:
Undercover Vampire Policeman by Chris Zabriskie is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/by/4.0/

Source: http://chriszabriskie.com/uvp/

Artist: http://chriszabriskie.com/