Cтраница 1
Элементарное высказывание признается таковым, только если оно обладает единственным логическим значением, которое предполагается известным. [1]
Элементарное высказывание состоит из субъекта ( логического подлежащего) - того, о чем идет речь в высказывании, и предиката ( логического сказуемого) - того, что утверждается или отрицается в высказывании о субъекте. [2]
Если элементарное высказывание указанного типа примитивно истинно, то оно выводимо в ограниченной арифметике. [3]
Для п элементарных высказываний имеется 2 таких произведений. Первая каноническая форма изображающего числа есть сумма только тех элементарных произведений, каждое из которых представляет единицу, имеющуюся в изображающем числе заданной функции. [4]
Определение истинности элементарных высказываний составляют отдельные операции. Часть из них ( определение истинности F1 и Y2) выполняются обращением к базе данных по существующим объектам соответствующего класса. [5]
Они являются элементарными высказываниями, описывающими свойства конкретных объектов предметной области. [6]
Раскрытие внутренней структуры элементарных высказываний и связанное с ними увеличение возможностей для логического анализа достигаются путем более сложных логических исчислений, в частности так называемым исчислением предикатов ( см. гл. Что же касается исчисления высказываний, то мы должны мириться с относительной бедностью его выразительных средств, представляющей собой как бы своеобразную плату за простоту и прозрачность этого исчисления. [7]
В отличие от элементарных высказываний, которые определяются лишь после того, как найдены все характерные фрагменты на изображении, термы могут быть определены по ходу обнаружения характерных фрагментов. [8]
Для системы из п элементарных высказываний в каждом изображающем числе существует 2П двоичных разрядов и, следовательно, 2 столбцов базиса. Любая перестановка столбцов базиса дает другой, но тем не менее правильный - базис. Столбцы, представляющие базис для п элементарных высказываний, должны иметь все 2 возможных комбинаций из 0 и 1, взятых по п в каждой. [9]
Хп - входящие в них элементарные высказывания. [10]
ПРИЗНАКИ ЛОГИЧЕСКИЕ - признаки рассматриваются как элементарные высказывания, принимающие два значения истинности Седа, нет или истина, ложь с полной определенностью. [11]
Логические признаки распознаваемых неисправностей рассматриваются как элементарные высказывания, к которым относится прямой способ определения параметров состояния. [12]
Логические признаки распознаваемых объектов обычно представляют собой элементарные высказывания, принимающие два значения да и нет. К ним относятся прежде всего признаки, не имеющие количественного выражения. Они имеют характер качественного суждения о наличии или отсутствии некоторых свойств или некоторых элементов у распознаваемых объектов или явлений. [13]
В исчислении высказываний не интересуются внутренней структурой элементарных высказываний, рассматривая их как единые целые. Отдельными буквами могут обозначаться и так называемые переменные высказывания. Термин переменное высказывание применительно к тому или иному символу означает, что вместо этого символа всегда может быть подставлено любое конкретное постоянное высказывание, как истинное, так и ложное. [14]
Таким образом, при этом наборе значений элементарных высказываний ( двенадцатый набор в табл. 1.3) рассматриваемое сложное высказывание принимает истинное значение. [15]