Логическое высказывание

Cтраница 2

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

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

Существует взаимно однозначное соответствие между булевыми функциями п переменных и логическими высказываниями с п логическими переменными. [18]

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

Условие того, что она находится в каком-либо состоянии соответствует некоторому логическому высказыванию относительно элементов этой системы. [20]

Таким образом может быть установлено соответствие между некоторой нейронной сетью и множеством логических высказываний. Справедливо и обратное утверждение: по заданному множеству высказываний может оказаться возможным построить соответствующую нервную сеть, и тогда возникает ряд вопросов. Например, что произойдет, если в сети окажутся замкнутые контуры. При каких условиях может быть определена сеть, соответствующая данному множеству логических высказываний, и при каких условиях может быть дана ее каноническая форма, если решение существует. [21]

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

При управлении по пути условия движения ( или отсутствия движения) исполнительных органов могут быть представлены логическими высказываниями. [23]

При управлении по пути условия движения ( или отсутствия движения) исполнительных органов могут быть представлены логическими высказываниями. Например, для тактограммы, представленной на рис. 192, а, можно написать условия: исполнительный орган механизма Ml не движется, если движется исполнительный орган механизма М2 или МЗ; исполнительный орган механизма Ml движется, если не движутся исполнительные органы механизмов М2 и МЗ. [24]

Тестовые задания сформулированы в форме утверждения или отрицания, которые в зависимости от ответов превращаются в истинные или ложные логические высказывания. В заданиях содержится вся необходимая для решения информация. По построению и содержанию тесты весьма разнообразны, однако в систематизированном виде они сгруппированы в следующие виды: тесты понятий ( определений), тесты на соответствие, тесты последовательных действий выполнения аудиторских работ, тесты по технологии и методике аудита. [25]

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

Можно сказать и иначе: диаграммы Венна служили некогда не как ныне, для изображения множеств, а для изображения включений и взаимосвязей между множествами, их пересечениями и объединениями и, пожалуй, для изображения аналогичных связей между логическими высказываниями - а для этого диаграммы Венна приспособлены отлично. Это применение диаграмм Венна можно проиллюстрировать и вышеприведенным примером: рисуют два овала как изображения множеств, но подразумевают такие понятия, как пересечение и объединение любых множеств - и в качестве примера упоминают о взрослых людях и о лицах женского пола. Но такое соотношение, как то, что одно множество является элементом другого множества, как конечность или бесконечность множества, количество его элементов, никогда не изображают с помощью диаграмм Венна, для этого они не пред-назначены; точно так же с помощью диаграмм Венна не изображают, какого рода элементы входят в множество. [27]

Логика - это наука, которая изучает, каким образом мы выражаем мысли, делаем умозаключения, и как все это можно представить формально. К логическими высказываниями относятся простые предложения и элементарные умозаключения; они подвергаются анализу как с позиции их формы, то есть синтаксиса, так и с позиции их интерпретации, иначе говоря, семантики. Изучается также и взаимосвязь синтаксиса и семантики. [28]

Сеть Петри, не являющаяся безопасной.| Безопасная сеть Петри, эквивалентная сети, приведенной на. [29]

Условие, будучи логическим высказыванием, либо истинно ( представляется фишкой в позиции), либо ложно ( представляется отсутствием фишки); кратные фишки не имеют никакой интерпретации. Таким образом, если интерпретировать сети как условия и события, маркировка каждой позиции должна быть безопасной. [30]

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