Quantifiers

preview_player
Показать описание
Examples of how to use the universal and existential quantifiers by encoding both everyday language and mathematical claims into logical symbols. Also the procedure for negating quantified statements.
Рекомендации по теме