Логика высказываний

Высказывание - это повествовательное предложение, в отношении которого имеет смысл утверждение об его истинностном значении.

Пример высказываний

«Земля вращается вокруг Солнца» – истинное высказывание.

«3 > 5» – ложное высказывание.

«х делится на 2» – нельзя сказать, истинно или ложно это предложение, пока не определено значение «х», значит, это предложение не является высказыванием

Some text here about the topic of discussion

​Поскольку предметом изучения логики высказываний являются только значения истинности высказываний без учета их смысла, для высказываний вводят буквенные обозначения – A, B, C, ... . Для краткости, если это не приводит к недоразумениям, будем вместо значения «истинно» писать «1», а вместо значения «ложно» – «0».

Пример

A = «Земля вращается вокруг Солнца»,

B = «3 > 5»,

причем A = 1 и B = 0.

Multiple Choice

Среди представленных предложений выберите высказывание

• Манная каша очень вкусная

• Москва - столица Китая

• Сегодня идет весь день дождь

• Волга впадает в Черное море

Высказывания могут быть простыми и составными. Высказывания

«Земля вращается вокруг Солнца» и «3 > 5» являются простыми.

Составные высказывания образуются из простых с помощью связок естественного языка:

НЕ, И, ИЛИ, ЕСЛИ-ТО, ТОГДА-И-ТОЛЬКО-ТОГДА,

которые формализуются в логические связки.

Some text here about the topic of discussion

Fill in the Blanks

Правильно ли запишется высказывание "Неверно, что процессор - часть компьютера", где $A$   - часть компьютера, $B$  - процессор.

$A\rightarrow B$