У нас вы можете посмотреть бесплатно How to translate Quantifiers in Symbolic Logic | Attic Philosophy или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
In this tutorial video, we look at how to translate the quantifiers in First-Order Logic, EVERY and SOME. We'll translate some example English sentences, of increasing complexity, into quantified logic. Along the way, we'll look at some of the issues that arise. 00:00 - Intro 01:37 - Anna goes 01:51 - Someone goes 02:16 - Everyone who goes is happy 03:12 - Someone likes everyone who goes 03:49 - No one who goes is unhappy 04:36 - Everyone who goes likes someone 05:11 - Everyone who goes likes someone who goes 05:56 - Quantifier order 06:59 - Active and passive 08:49 - Everyone likes someone This is the second in a series of videos on First-Order Logic. Previously: How to use Quantifiers • How to use Quantifiers | Symbolic Log... Coming soon: Relations in First-Order Logic Semantics for First-Order Logic Quantifier Equivalence Normal Forms in First-Order Logic If there’s a topic you’d like to see covered, leave me a comment below! Links: My academic philosophy page: http://markjago.net My book What Truth Is: http://bit.ly/JagoTruth Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago Get in touch on Social media! Instagram: / atticphilosophy Twitter: / philosophyattic #logic #quantifiers #firstorderlogic