О ВЫРАЗИТЕЛЬНЫХ ВОЗМОЖНОСТЯХ ФОРМАЛЬНО-СИМВОЛИЧЕСКИХ ЯЗЫКОВ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ
Аннотация
Подходы к построению классов рациональных и дробно-
рациональных выражений школьной буквенной алгебры и технологии
оперирования с этими выражениями представляют собой
естественные прообразы (предпосылки) определения общих схем
синтаксической и семантической компонент логических исчислений,
в частности, исчисления высказываний и исчисления предикатов.
Тем не менее, реализация пропедевтических возможностей этих
предпосылок в процессе изучения логико-алгебраических дисциплин
используется далеко не в полной мере.
В данной работе, на основе выявления и реализации исторически
обусловленных аналогий между правилами преобразования
рациональных выражений элементарной буквенной алгебры и
законами оперирования с объектами синтаксиса формального
языка исчисления предикатов, разрабатываются нестандартные
подходы к применению выразительных возможностей этого языка
в логико-математической практике. Продуцирующие возможности
применяемых методов демонстрируются на примерах выявления
правильности рассуждений, посылки и заключения которых
имеют субъектно-предикатную структуру и могут носить
общеутвердительный или частноутвердительный характер.
предложенной методологии проверки правильности рассуждений
послужила практика решения текстовых арифметических задач
алгебраическими методами. Показательно-демонстрационная
часть работы может послужить основой разработки
материалов пропедевтического обеспечения постановки и изучения
алгоритмических проблем выполнимости и общезначимости формул
исчисления предикатов.
Автор
Б. Н. Дроботун, А. К. Есиркепова
DOI
https://doi.org/10.48081/WTQH4630
Ключевые слова
правильность рассуждений, элементарная алгебра, высказывание, субъектно-предикатная структура, формульный предикат, исчисление предикатов, модель.
Год
2021
Номер
Выпуск 1
Для цитирования:
Б. Н. Дроботун, А. К. Есиркепова О ВЫРАЗИТЕЛЬНЫХ ВОЗМОЖНОСТЯХ ФОРМАЛЬНО-СИМВОЛИЧЕСКИХ ЯЗЫКОВ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ // Вестник Торайгыров университета Серия: физика, математика и компьютерные науки - 2021 - №1 - https://doi.org/10.48081/WTQH4630
Скопировано!