Вышеприведенная таблица из 16 строк - взаимнооднозначное соответствие возможных отношений двух понятий и двухместных истинностных функций.
Сегодня попробую организовать видео-трансляцию здесь, на нашем канале. Тема Классификация простых категорических высказываний и особенности их записи в символизме Исчисления предикатов с многосортными предметными переменными.
Приближается время зачетно-экзаменационной сессии, в связи с этим планирую на сегодняшней трансляции разобрать решение типовых задач. В частности, у нас будут: 1) построение таблиц истинности для определения правильности рассуждения; 2) использование общих правил для определения правильности простого категорического силлогизма (семантический метод); 3) изображение отношений между понятиями на круговых схемах Эйлера и выполнение операций с их объемами.
Командная игра в #Игра (правила, возможно, будут изменены). 8 команд, каждая формируется в соответствующей группе (пнб-101, пнб-102, пнб-103, пнб-104, бкс-100, псд-200, бкуп-300 + команда подписчиков, не сдающих зачет). Количество игроков в команде может быть различным. В группе команды-победителя на зачёте ни у кого не будет задач, в группе проигравшей команды задачи будут у всех 😈. Как вам идея (ниже собираюсь поместить опрос)? Пока прошу ставить 👍 👎 Этакая командная олимпиада по логике...