Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
МЕТАЛОГИКА
— наука, изучающая строение логических теорий. М. включает исследования исчислений и строго отличает содержательные выводы, которые делаются при доказательстве различных положений, касающихся исчисления, от формальных выводов самого исчисления, представленных в виде операций над высказываниями и рассматриваемых только в качестве таковых.