Логические языки

Учимся читать диаграммы Венна: определяем, в какой области круга или на их пересечении находится объект с заданными свойствами.

Учимся читать область (или несколько областей) диаграммы Венна как множество — набор объектов с общим свойством.

Используйте числа в трёхкруговой диаграмме Венна, чтобы подсчитывать элементы категорий и пересечений.

Определяем непустые области диаграммы Венна по условию и делаем верные утверждения о существовании, используя метку «1+».

Научитесь различать пустые, непустые и неизвестные области на диаграмме Венна.

Научитесь подсчитывать элементы множества по диаграмме Венна и определять, когда ответ невозможно установить из-за непомеченных областей.

Научитесь обозначать пустые области на диаграммах Венна и делать строгие выводы о множествах.

Узнайте, что такое дополнение множества, и научитесь находить его на диаграмме Венна.

Знакомимся с пересечением множеств: учимся находить на диаграмме Венна область, в которую попадают объекты, обладающие сразу несколькими свойствами.

Узнайте, что такое объединение двух множеств, и научитесь определять его на диаграмме Венна.

Научитесь считать элементы в множествах, заданных операциями пересечения, объединения и дополнения на трёхкруговой диаграмме Венна.

Изучаем отношение вложенности на диаграммах Венна: подмножества, надмножества и асимметрия этих отношений.

Научитесь распознавать непересекающиеся множества на диаграммах Венна и переводить «ни один X не является Y» в факт о пустом пересечении.

Изучаем транзитивность отношения подмножества: как вывод передаётся по цепочке вложенных кругов и как пустые области меняют выводы.

Разберитесь, когда «все A являются B» следует из вложения, а когда «некоторые B не являются A» требует явного элемента.

Разбираемся, как пустая область на диаграмме Венна показывает, что одно множество является подмножеством другого.

Учимся читать вложенные диаграммы Венна как логические доводы: если одно множество вложено в другое, значит «все A являются B». Связывая такие посылки, делаем верный вывод.

Узнайте, что такое корректный аргумент: его посылки гарантируют заключение. Практикуемся на диаграммах Венна с непересекающимися множествами и подмножествами.

Аргумент состоятелен, если он корректен и опирается на истинные посылки. Научитесь классифицировать аргументы по двум осям: корректность и состоятельность.

Узнайте, как корректные аргументы с ложными посылками приводят к заключениям, неверным в реальном мире.

Учимся оценивать корректность логических рассуждений с помощью диаграмм Венна: отмечаем пустые области по универсальным посылкам «Все A — это B» и проверяем, какой вывод из них следует.

Учимся понимать, когда посылки «все A — это B» гарантируют существование объектов, а когда — нет. Отмечаем пустые и непустые области и достраиваем корректный вывод.

Научитесь отличать «некоторые» от «все» в рассуждениях с диаграммами Венна и находить корректные выводы из двух посылок.

Научитесь строить корректные рассуждения с посылками-отрицаниями и выявлять некорректные аргументы.

Учимся проверять аргументы на корректность: отмечаем посылки на диаграмме Венна и решаем, гарантируют ли они заключение.

Разбираемся с оборотом «не все A являются B» и учимся строить корректные аргументы, опираясь на состояние диаграммы Венна.