Исчисление - высказывание
Cтраница 2
Исчисление высказываний ( пропозициональное исчисление) - логическая система ( Исчисление), формализующая рассуждения, основанные на истинностных отношениях между высказываниями, к-рые рассматриваются в отвлечении от их внутренней субъектно-предикатной структуры. Возможны различные формулировки И. А формула, то ( А) формула; 3) если А и В формулы, то ( А) ( В), ( А) У ( В), ( А) ( В) формулы; 4) ничто др. не есть формула. [16]
Исчисление высказываний применяется самостоятельно и, вместе с тем, входит как составная часть в так называемое исчисление предикатов, позволяющее выполнять логические действия еще более широкого класса. Исчисление предикатов в основном и применяется сейчас при разработке устройств управления, которые пытаются наделить искусственным интеллектом. [17]
Исчисление высказываний и исчисление предикатов используются при машинном решении задач и доказательстве теорем. [18]
Исчисление высказываний дает нам набор правил для производства таких высказываний, которые были бы истинными в любом из возможных миров. [19]
Исчисление высказываний напоминает процесс мышления, но при этом мы не должны равнять его правила с правилами человеческой мысли Доказательство - это нечто неформальное; иными словами - это продукт нормального мышления, записанный на человеческом языке и предназначенный для человеческого потребления. В доказательствах могут использоваться всевозможные сложные мыслительные приемы и, хотя интуитивно они могут казаться верными, можно усомниться в том, возможно ли доказать их логически. Именно поэтому мы и нуждаемся в формализации. Деривация, или вывод - это искусственное соответствие доказательства; ее назначение - достичь той же цели, на этот раз с помощью логической структуры, методы которой не только ясно выражены, но и очень просты. [20]
Исчисление высказываний корректно, если любая выводимая формула оказывается общезначимой, и полно, если любая общезначимая формула выводима в этом исчислении. [21]
Исчисление высказываний связано с анализом высказываний, составленных из более простых высказываний, но самое простое высказывание рассматривается как неделимое целое. Можно, однако, вместо простых высказываний ввести предикатные структуры и иметь дело с утверждениями, значения истинности которых не известны. Так, вместо высказывания круг круглый можно рассмотреть предикат круглый. [22]
Исчисление высказываний ( про-возиционалыше исчисление) - логическая система ( Исчисление), формализующая рассуждения, основанные на истинностных отношениях между высказываниями, к-рые рассматриваются в отвлечении от их внутренней субъектно-предикатной структуры. Возможны различные формулировки И. А формула, то ( А) формула; 3) если А и В формулы, то ( А) - ( В), ( А) у ( В), ( А) ( В) формулы; 4) ничто др. не есть формула. [23]
Исчисление высказываний первоначально разрабатывалось для исследования зависимости истинности или ложности сложных суждений от истинности или ложности составляющих их простых суждений. [24]
Исчисление высказываний ( про-возиционалыше исчисление) - логическая система ( Исчисление), формализующая рассуждения, основанные на истинностных отношениях между высказываниями, к-рые рассматриваются в отвлечении от их внутренней субъектно-предикатной структуры. Возможны различные формулировки И. А формула, то ( А) формула; 3) если А и В формулы, то ( А) - ( В), ( А) у ( В), ( А) ( В) формулы; 4) ничто др. не есть формула. [25]
 |
Цифровой элемент, реализующий функцию / ( Р - Ч. [26] |
Исчисление высказываний имеет приложение к анализу сложных утверждений как в обычном, так и формальном языках. Синтез сложных схем цифровых вычислительных машин значительно упрощается, если каждому проводнику цифрового элемента поставить в соответствие некоторую двоичную переменную, состояниям этих проводников - значения истинности и ложности, а логическим функциям, реализуемым цифровыми элементами, - логические отношения исчисления высказываний. [27]
Исчисление высказываний Уъ непротиворечиво. [28]
Исчисление высказываний ЗР непротиворечиво. [29]
Модальным исчислением высказываний называется исчисление, которое получается за счет добавления к М новых аксиом. [30]
Страницы: 1 2 3 4