Все металлы - простые вещества. Литий - металл.→ Литий - простое вещество.

Один из углов треугольника равен 90º. → Этот треугольник прямоугольный.

ВЫСКАЗЫВАНИЕ - это повествовательное предложение, о котором можно сказать, что оно истинно или ложно.

Например:

Земля - планета Солнечной системы. (Истинно)
2+8<5 (Ложно)
5 · 5=25 (Истинно)
Всякий квадрат есть параллелограмм (Истинно)
Каждый параллелограмм есть квадрат (Ложно)
2 · 2 =5 (Ложно)

Не всякое предложение является высказыванием:

1) Восклицательные и вопросительные предложения высказываниями не являются.
- “Какого цвета этот дом?”

- “Пейте томатный сок!”
-“Стоп!”

Не являются высказываниями и определения. “Назовем медианой отрезок, соединяющий вершину треугольника с серединой противоположной стороны”. Определения не бывают истинными или ложными, они лишь фиксируют принятое использование терминов.

Логическая операция	Логическая связка	Обозначение	Таблица истинности	Определение
Инверсия	Логическое отрицание	НЕ		A	Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна
Дизъюнкция	Логическое сложение	ИЛИ	А v В	A B А V В	Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.
Конъюнкция	Логическое умножение	И	АΛВ	A B А & В	Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.
Импликация	Логическое следование	«Если …, то …»	A=>B (А–условие В- следствие)	А В	Импликация двух логических переменных ложна тогда и только тогда, когда из истинного основания следует ложное следствие.
Эквивалентность	(Логическое равенство)	«… тогда и только тогда, когда …»	A≡B	А В	Эквивалентность двух логических переменных истинна тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны

3) Не являются высказываниями и предложения типа “Он сероглаз” или “х- 4х + 3=0” - в них не указано о каком человеке идет речь или для какого числа х верно равенство.

Базовые логические операции.

Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:
1. инверсия;
2. конъюнкция;
3. дизъюнкция;
4. импликация и эквивалентность. Для изменения указанного порядка выполнения логических операций используются круглые скобки.