составное высказывание, сложное высказывание Высказывание, состоящее из нескольких более простых высказываний, соединенных логическими операторами (связками).
English-Russian Modern Computing dictionary
contradictory propositions
противоречащие предложения, контрадикторные предложения
English-Russian Modern Computing dictionary
contrary propositions
противные предложения, контрарные предложения
English-Russian Modern Computing dictionary
false proposition
ложное высказывание Высказывание, значением которого является ложь (false).
English-Russian Modern Computing dictionary
logical proposition
логическое высказывание
English-Russian Modern Computing dictionary
particular proposition
частное суждение
English-Russian Modern Computing dictionary
propositional function
пропозициональная функция
English-Russian Modern Computing dictionary
propositional hierarchy
пропозициональная иерархия, иерархия высказываний
English-Russian Modern Computing dictionary
propositional inference
пропозиционный вывод
English-Russian Modern Computing dictionary
propositional variable
пропозициональная переменная Символ формального языка, служащий для обозначения произвольного высказывания.