Минаков, И.В.2014-06-052014-06-052012Минаков И.В. Символическая логика: Пособие для практических занятий и самостоятельной работы / И.В. Минаков. – Харьков, 2012. – 47 с.https://ekhnuir.karazin.ua/handle/123456789/9690Минаков Игорь Викторович, кандидат философских наук, доцент кафедры теоретической и практической философии Харьковского национального университета имени В.Н. Каразина.Издание содержит материалы для практических занятий и самостоятельной работы студентов по курсу «Символическая логика»: тематический план учебной дисциплины, список тем курсовых работ, список рекомендованной литературы, списки ключевых значений и терминов, дополнительные и расширяющие вопросы для самостоятельной проработки, рекомендации, примеры выполнения заданий – по каждой теме, дополнения.ruResearch Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::Philosophy subjectsResearch Subject Categories::SOCIAL SCIENCES::Social sciences::Educationформы высказыванийязык логики высказыванийотношение равносильности формул в логике высказываний. правило равносильной замены. тавтологии и противоречиярасширение языка пропозициональной логикиполные системы логических связок. закон двойственностинормальная форма формул логики высказыванийсемантическая проблема разрешенияконъюнктивные нормальные формыпонятие логического следованиядизъюнктивные нормальные формыпонятие логического выводасистемы натуральных исчислений высказыванийограниченные классические логикиаксеоматические исчисления высказыванийформализованная силлогистика Я.Лукасевичаязык логики предикатов первого порядка (синтаксический аспект)теория значения (логическая семантика) для языка логики предикатоваксеоматическое исчисление предикатов (АИП)общее понятие формальной теории (логического исчисления)проблема оснований математикитеоремы ГёделяBook