Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление высказываний
\
9.6.2.3.3. Изложение исчисления высказываний при помощи
"таблиц истинности"
©
9.6.2.3.3.1. Высказывания и логические связки
9.6.2.3.3.2. Исследование сложных высказываний
О роли аксиоматического дедуктивного метода в древнегреческой математике см.
здесь
и
здесь
. Раздел об Аристотеле см.
здесь
.
9.6.2.3.3.1. Высказывания и логические связки
9.6.2.3.3.2. Исследование сложных высказываний
