Please enable JavaScript.
Coggle requires JavaScript to display documents.
Высказывание (:warning: Внимание (0 и 1, обозначающие значения логических…
Высказывание
:warning: Внимание
0 и 1, обозначающие значения логических переменных, называются логическими значениями.
Высказывание называют простым, если никакая его часть сама не является высказыванием.
-
-
-
Высказывание — это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное. :star:
Синонимы
-
-
Предложение, выражающее суждение
Относительно предложений "Великий русский учёный М. В. Ломоносов родился в 1711 году" и " Two plus six is eight" можно однозначно сказать, что они истинны. Предложение "Зимой воробьи впадают в спячку" - ложно. Следовательно, эти предложения являются высказываниями. В русском языке высказывания являются повествовательными предложениями.
Высказывания могут строиться с использованием знаков различных формальных языков - математики, физики, химии и т. п.
-
-
Не являются высказываниями и равенства или неравенства, содержащие переменные.
Например, предложение "x < 12" становиться высказыванием только при замене переменной каким-либо конкретным значением: "5 < 12" - истинное высказывание; "12 < 12" - ложное высказывание.
Обоснование истинности или ложности высказываний решается теми науками, к сфере которых они относятся. Алгебра логики отвлекается от смысловой содержательности высказываний. Её интересуют только то, истинно или ложно данное высказывание. В алгебре логики высказывания обозначают буквами и называют логическими переменными. При этом, если высказывание истинно, то значение соответствующей ему логической переменной обозначается единицей (А = 1), а если ложно - нулём ( B = 0).
Оперируя логическими переменными, которые могут быть ровны только 0 или 1, алгебра логики позволяет свети обработку информации к операциям с двоичными данными. Именно аппарат алгебры логики положен в основу компьютерных устройств хранения и обработки данных. С применением элементов алгебры логики вы будите встречаться и во многих других разделах информатики