'Language, Proof and Logic' (Chapter 9): Translation Practice

preview_player
Показать описание
In this video, I walk you through the process of translating sentences from ordinary language into quantifier logic notation. To aid our understanding, I enlist Tarski's World.
Рекомендации по теме