filmov
tv
'Language, Proof and Logic' (Chapter 9): Translation Practice
Показать описание
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.