Сегодня, в 18.00 мск разберём в прямом эфире решение задач на определение правильности простого категорического силлогизма с использованием общих (для каждой фигуры) правил и методом семантических (аналитических) таблиц.

Через пару минут начинаем...

Операция объединения множеств А и В

Операция пересечения множеств А и В

Уважаемые дамы и господа! Приглашаю на прямой эфир в нашем Телеграм-канале в 18.00 (мск). Тема: формализация принципов тождества и противоречия в исчислении предикатов с многосортными предметными переменными.

Тождественная истинность и доказуемость разными методами

Уважаемые дамы и господа! Приглашаю на прямой эфир в нашем Телеграм-канале завтра 05.01.2025 в 12.00 мск. Тема: Использование разных методов для определения вида формулы.