Язык как знаковая информационная система. Язык логики предикатов

Язык- знаковая информационная система, выполняющая функцию формарования,  хранение и передача информации в процессе познания действительности и общения между людьми. Языки делятся: на естественные (исторически сложившийся в обществе звуковые речи) и графические ( письмо) информационные  знаковые системы) искусственные (вспомогательные знаковые системы, создаваемые на базе естественных языков- Язык логики, азбука морзе) Смешанные (базой здесь выступает естественный национальный язык ), дополняемый символикой и условными обозначениями, относящимися к конкретной предметной отрасли. Искусственные языки делятся на: Язык логики высказываний (применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждение, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений). Язык логики предикатов (применяется в логической системе, называемой исчисление предикатов, которая при анализе рассуждении учитывает не только  истинностные характеристики логических связок, но и внутреннюю структуру суждений .)

Из  языка логики предикатов следует алфавит языка логики предикатов:

 1)а,в,с,….-символы единичных имен предметов; их называют предметными постоянными;2)x,y;z,….- символы единичных имен предметов; их называют предметными переменными:3)P¹,Q¹,R¹…-символы предикатов, индексы над которыми выражают их местность; их называют предикатными переменными4)p, q, r-символы для высказываний, которые называют пропорциональными переменными(высказывание)5)
,-символы для количественной характеристики высказывающий; их называют кванторами: -квантор общности,-квантор существования;6)логические связки: ˄(&)-конъюнкция (союзы и, а, но)                 

˅-дизъюнкция(союзы или, либо)

строгая дизъюнкция

(союзы если …,то…)

-эквиваленция, или двойная импликация (союзы “еслии только если.., то..”)

¬ - отрицание (неверное, что..)Технические знаки языка: (,)-левая и правая скобки.