tgoop.com/logic_metamathematics/844
Create:
Last Update:
Last Update:
Приближается время зачетно-экзаменационной сессии, в связи с этим планирую на сегодняшней трансляции разобрать решение типовых задач. В частности, у нас будут: 1) построение таблиц истинности для определения правильности рассуждения; 2) использование общих правил для определения правильности простого категорического силлогизма (семантический метод); 3) изображение отношений между понятиями на круговых схемах Эйлера и выполнение операций с их объемами.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/844