22 ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ
Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.
Язык логики высказываний используется для рассмотрения суждений без учета их внутренней структуры. Язык логики высказываний использует содержательные символы. Содержательные символы – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе. Одним из самых используемых символов языка логики высказываний является имя.
Конец ознакомительного фрагмента.