Леонард И. Браев. Элементарная логика


Упражнения и логические задачи



страница7/41
Дата03.03.2020
Размер334 Kb.
ТипКонтрольные вопросы
1   2   3   4   5   6   7   8   9   10   ...   41
Упражнения и логические задачи.... .... .... ... . .... .... .... .... .... . 188
4.Б. Алгебра умозаключений ........ ..... .... .... ... ... .... ................. 193

4.21. Табличная формализация рассуждений - 193; 4.22. Алгебра рассуждений - 197; 4.23. Аксиоматический вывод - 199; 4.24. Натуральный вывод - 201; 4.25. Полная алгебра силлогизмов - 218; 4.26. Как найти доказательство? - 221; 4.27. Соотношение логических систем - 223; 4.28. Где кончается логика.



Мнемоническая схема........... .... ... ... ... .... ... ... ... .... .................. 225

Контрольные вопросы........ ... ... .... ... ... ... .... ... ... ...................... 226






Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7   8   9   10   ...   41




База данных защищена авторским правом ©zodorov.ru 2020
обратиться к администрации

    Главная страница