Cтраница 3
Равносильными сложными высказываниями будут такие, которые при всех определенных значениях элементарных высказываний принимают одни и те же значения. Поэтому самый простой способ выявления равносильности высказываний состоит в определении значения этих высказываний при всех значениях элементарных высказываний. [31]
Читатель может вычислить значение этого сложного высказывания при остальных 15 наборах значений элементарных высказываний. [32]
Предложения 9-нечетное число, снег красен, Москва - столица СССР являются элементарными высказываниями. [33]
Обозначим через М совокупность попарно-различных символов, обозначающих слова, из которых составляются элементарные высказывания. Повторение одинаковых символов в пределах отдельного набора допускается. [34]
Определив основные операции алгебры логики, легко можно найти значения сложного высказывания по значениям элементарных высказываний. [35]
В алгебре логики при рассмотрении истинности или ложности сложных высказываний, образованных путем соединения Отдельных элементарных высказываний определенными союзами ( связками), не изучают смыслового значения этих сложных высказываний и не по нему определяют их действительное значение. Определив вполне однозначным образом связки, получают значение сложного высказывания только по значениям элементарных высказываний и по тому, какими связками и как они соединены. Например, если мы определим связку И так, что сложное высказывание, полученное соединением двух простых высказываний связкой И, будет истинно только тогда, когда оба высказывания истинны то сложное высказывание стул имеет четыре ножки и 2 21 будет ложным. Если связку ИЛИ мы определим так, что сложное высказывание будет ложным только в том случае, когда оба элемен - тарных высказывания, соединенных связкой ИЛИ, будут ложны, то высказывание стул имеет четыре ножки или 2 21 будет истинным. Однако значение как одного, так и другого сложного высказывания по его смыслу определить невозможно. [36]
Предложения 9 - нечетное число, снег красен, Москва - столица СССР являются элементарными высказываниями. [37]
Эта операция, однако, трудоемка, особенно при проверке значения истинности, когда число элементарных высказываний в сложном выражении велико. В литературе описан более простой способ контроля результатов преобразований логических выражений, основанный на использовании так назьгзаемых изображающих чисел. [38]
С помощью логических связок типа И, ИЛИ, НЕ, ЕСЛИ - ТО из элементарных высказываний образуются более сложные, которые могут принимать ложное или истинное значение. [39]
Легко понять, что знак V в формуле VAABC определяется по условию: разность между числом элементарных высказываний и числом операций, стоящих перед знаком Д, равна нулю. В самом деле, А является формулой, в которой эта разность равна 1, наличие знака V перед А делает эту разность равной нулю. [40]
![]() |
Значения некоторой функции О ( Л, В, С. [41] |
Обозначим через М совокупность попарно-различных символов, обозначающих частные конструкции, из которых с помощью связей строятся элементарные высказывания. [42]
Обозначим через М совокупность попарно-различных символов, обозначающих частные конструкции, из которых с помощью связей строятся элементарные высказывания. Повторение одинаковых символов в пределах отдельного набора допускается. [43]
Тесная связь логики с теорией познания ( эпистемологией) обусловливалась у Витгенштейна тем, что логические атомы - элементарные высказывания - повествуют о событиях. Логическим комбинациям элементарных высказываний ( по терминологии Рассела, молекулярным предложениям) соответствуют ситуации комплексного типа, или факты. В результате все высказываемое предстало как фактичное, то есть конкретное, или обобщенное ( законы науки) повествование о фактах и событиях мира. [44]
Делая такие преобразования, мы приведем формулу к такому виду, в котором знак отрицания относится только к элементарным высказываниям. [45]