ГЛАВА 1. Таблицы истинности, логика, доказательства
Мы будем обозначать высказывания буквами латинского алфавита p, q, r, . . .
Например, p может обозначать утверждение Завтра будет дождь, а q — утвер-
ждение Квадрат целого числа есть число положительное.
В обыденной речи для образования сложного предложения из простых ис-
пользуются связки — особые части речи, соединяющие отдельные предложения.
Наиболее часто употребляются связки и, или, нет, если . . . то, только если,
и тогда и только тогда. В отличие от обыденной речи, в логике смысл таких
связок должен быть определен однозначно. Истинность сложного высказывания
однозначно определяется истинностью или ложностью составляющих его частей.
Высказывание, не содержащее связок, называется простым. Высказывание, со-
держащее связки, называется сложным.
Пусть p и q обозначают высказывания
p : Джейн водит автомобиль,
q : У Боба русые волосы.
Сложное высказывание
Джейн водит автомобиль и у Боба русые волосы
состоит из двух частей, объединенных связкой и. Это высказывание может быть
символически записано в виде
p и q
или просто как
p ∧ q ,
где символ ∧ обозначает слово и на языке символических выражений. Выражение
p ∧ q называется конъюнкцией высказываний p и q.
Точно так же высказывание
Джейн водит автомобиль или у Боба рыжие волосы.
символически выражается как
p или q
или
p ∨ q ,
где ∨ обозначает слово или в переводе на символический язык. Выражение p ∨ q
называется дизъюнкцией высказываний p и q.
Опровержение, или отрицание высказывания p обозначается через
∼p .
Таким образом, если p есть высказывание Джейн водит автомобиль, то ∼p —
это утверждение Джейн не водит автомобиль.
Если r есть высказывание Джо нравится информатика, то Джейн не во-
дит автомобиль и у Боба русые волосы или Джо любит информатику симво-
лически запишется как ((∼p) ∧ q) ∨ r. И наоборот, выражение p ∧ (∼q) ∧ r — это
у=0,5 х²+2
Значения для графика во вложении:
x y
-3.0 6.5
-2.5 5.13
-2.0 4
-1.5 3.13
-1.0 2.5
-0.5 2.13
0 2
0.5 2.13
1.0 2.5
1.5 3.13
2.0 4
2.5 5.13
3.0 6.5
А теперь объясню, если вы будете строить в тетради, достаточно взять пару точек x, например -3,-2,-1,0,1,2,3, соответственно, по y будет 6.5, 4, 2.5, 2, 2.5, 4, 6.5 (Значения x подставляем в 0,5 х²+2, так и получается y), иными словами это наша таблица:
x y
-3 6.5
-2 4
-1 2.5
0 2
1 2.5
2 4
3 6.5
Просто отмечаем точки на осях x и y, а после соединяем их, у нас получается парабола, ветви которой направлены вверх, а нулевой точкой будет является (0;2)
