Логическая константа

Cтраница 1

Логические константы позволяют нам вводить условные равенства элементарной алгебры. В отличие от переменной х, которая характеризуется тем свойством, что ее можно замелить нулем или Sx, куда бы она не входила, х в условном равенстве является знаком неизвестной цифры, который можно заместить некоторой конкретной цифрой. [1]

Логические константы и операторы можно рассматривать просто как сокращения для тех выражений, с помощью которых они были введены: в этом случае во всяком формальном доказательстве логические константы и операторы следует устранить, заменив их теми выражениями, которые они обозначают. [2]

Логические константы размещаются в 4 байт каждая. [3]

Алфавитно-цифровые слова. а Г0СТ. 6 MINSK. в СМ032.| Структура команды. [4]

Логическая константа представляет собой набор из 37 двоичных разрядов. В качестве логической константы может быть использовано содержимое произвольной ячейки МОЗУ независимо от вида содержащейся в ней информации. [5]

Логическая константа, представляющая собой произвольный набор двоичных разрядов, записывается в МОЗУ восьмеричным числом со знаком. При этом нулевой разряд записывается как или -, а остальные разряды группируются по три и изображаются соответствующей восьмеричной цифрой. Признаком логической константы служит буква В в конце ее. [6]

Можно ввести другие логические константы - л ( конъюнкция), D ( импликация, или обусловленность), ( эквивалентность, или равнозначность), которые, по существу, являются сокращениями комбинации трех приведенных выше констант. [7]

Для обозначения логических констант true - истина и false - ложь используются атомы Т и F соответственно. [8]

Большинство операторов над логическими константами и числами с фиксированной и плавающей запятой имеет четыре разновидности. [9]

Формула - это либо логическая константа ( Г или NIL), либо переменная ( любой атом, отличный от Т и NIL), либо список, первый элемент которого - знак логической операции ( NOT, AND, OR, IMP или EQU), а следующие один ( для NOT) или два элемента - формулы, являющиеся оперантами данной операции. [10]

Операндами логических выражений являются логические константы, логические переменные, логические элементы массивов, обращения к логическим функциям, отношения, а также логические выражения, заключенные в скобки. [11]

Теоретико-модельная семантика определяет смысл логических констант, описывая то, каким будет мир, если выражение с этими константами истинно; и задает логическое следование с помощью выяснения того, что еще должно быть истинным, если посылки являются истинными. Для умолчаний это означает, что их семантика должна определяться в терминах того, как обычно или типично выглядит мир, когда умолчания истинны, а логическое следование задается с помощью выделения наиболее нормальных миров, моделей и ситуаций, удовлетворяющих посылкам. [12]

Фактическими аргументами подпрограммы SUB являются логическая константа, текстовая константа, элемент массива и метка оператора. [13]

К какому типу величин относятся логические константы. [14]

Оператор может использоваться для сравнения логических констант на равно-неравно или для формирования нх из частей. [15]

Страницы: 1 2 3 4