Элементарное предложение
- Атомарное предложение является типом декларативного предложения, которое является либо истинным, либо ложным.
- С точки зрения логического анализа, истинность или ложность предложений определяется только двумя факторами: логической формой предложения и истинностью или ложностью его простых предложений.
- Логика разработала искусственные языки, такие как исчисление предложений и исчисление предикатов, для раскрытия лежащей в основе логики высказываний на естественном языке.
- Элементарное предложение в искусственных языках является строкой символов, которая может представлять элементарное предложение на естественном языке и определяется определенным образом.
- Атомарная формула является wff, состоящей либо из буквы предложения, либо из буквы предиката, состоящей из n элементов, за которыми следуют n членов.
- Предложение является либо истинным, либо ложным в соответствии с интерпретацией, которая присваивает значения логическим переменным.
- Атомарные предложения представляют особый интерес для философской логики и теории истины, и существуют соответствующие атомарные факты.
Полный текст статьи: