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. this is a follow up to a my previous video introducing propositional logic (mathematical propositions, logical connectives - "and", "or", and "not", truth tables, logical equivalence, and the DeMorgan's laws) and using these tools to solve Knight and Knave problems ([ Ссылка ]). In the current video, we show how to use these tools to solve classic Lady/Tiger problems (as introduced by Raymond Smullyan).
Note that this video is part of a series kept in a playlist called [Discrete Math Class]:
[ Ссылка ]
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:
[ Ссылка ]...
#logic #propositionallogic #truthtables #tiger #lady #logicalconnectives #propositions #math #manim #logicpuzzle #ladytiger #smullyan
To learn more about animating with manim, check out:
[ Ссылка ]
_______________________________________
Background Music:
Journey’s End by Purrple Cat | [ Ссылка ]
Music promoted by [ Ссылка ]
Creative Commons Attribution-ShareAlike 3.0 Unported
[ Ссылка ]
![](https://s2.save4k.ru/pic/eUYWXqk5Ags/maxresdefault.jpg)