|
|
|
|
|
|
|
|
|
Конъюкция
| Глоссарий по искусственному интеллекту |
Логическая операция (связка) для n>2 выражений. результирующее выражение (конъюнкция исходных выражений) истинно только тогда, когда истинны все исходные выражения. для обозначения к. стандартно используется знак & (реже), а также знак умножения в виде точки. во многих случаях знак к. может быть опущен.
|
|
Конъюнкция, русский
(от лат . conjunctio - союз, связь), логический эквивалент союза "и"; операция, формализующая логические свойства этого союза.
Обозначения, русский
|
Теория аксиоматическая, русский
Логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода - достоверными.
Логика пропозициональная, русский
Логика, характерная для пропозиционального исчисления.
|
|
|
|
|
|
|
