Свойства объекта
| Дескриптор | |
| название | propositional formula |
| язык | английский |
| релятор | logic |
| определение 1 | In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. |
| автор словарной статьи | Соколова Е.Г. |
Связи объекта |
|
| Дается определение в (SourceDef) | |
| Источник | определение |
| Интернет энциклопедия «Wikipedia» | 1 |
| Подобласть знаний(SubArea) | |
| Подобласть знаний | |
| СО1.6. Логика и философия языка – Logic and philosophy of language | |
| Синоним (Syn) | |
| Аскриптор | |
| sentential formula | |
| Эквивалент на другом языке (Trans) | |
| Дескриптор | |
| высказывание (логика) | |