1. proposition Суждение, рассматриваемое в некоторой системе суждений только в связи с его истинностью, которая устанавливается вне этой системы. Суждение может быть либо истинным, либо ложным. 2. proposition Предложение, выражающее высказывание. 3. statement
Phrases with высказывании
алгебра высказываний prepositional algebra
иерархия высказываний propositional hierarchy
истинное высказывание true proposition Высказывание, значением которого является истина (true).
исчисление высказываний sentential calculus; propositional calculus Система символической логики, (логика высказываний); логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ, НЕ, ЕСЛИ ... ТО, ТОГДА И ТОЛЬКО ТОГДА и др.
логическое высказывание logical proposition
ложное высказывание false proposition Высказывание, значением которого является ложь (false).
простое высказывание simple proposition Высказывание, внутренняя структура которого не анализируется.
сложное высказывание compound proposition Высказывание, состоящее из нескольких более простых высказываний, соединенных логическими операторами (связками).
составное высказывание compound proposition Высказывание, состоящее из нескольких более простых высказываний, соединенных логическими операторами (связками).
элементарное высказывание simple proposition Высказывание, внутренняя структура которого не анализируется.
язык высказываний sentential language Язык программирования, в котором предложения имеют форму высказываний или определений (в отличие от процедурного языка).