Высказывание - утверждение, которое имеет значение истинности (И или Л, T или F, 1 или 0)
Высказываение можно обозначить буквой, к примеру R - "29 - простое число"
p. Хаггарти. Дискретная математика для программистов. Стр. 23-24

Отрицанием произвольного высказывания P называется вычказывание вида (не P) или , чье истинностное значение строго противоположно значению P

P
1	0
0	1

Конъюнкцией или логическим умножением двух высказываний P и Q называют составное высказывание вида (P и Q) или
Оно принимает истинное значение только в том случае, когда истинны обе составные части

P	Q
1	1	1
1	0	0
0	1	0
0	0	0

Дизъюнкцией или логическим сложением двух высказываний P и Q называется составное высказывание (P или Q) или .
Оно истинно, если хотя бы одна из ее составных частей имеет истинное значение

P	Q
1	1	1
1	0	1
0	1	1
0	0	0

Если P, то Q. Выражает идею, что P = True влечет за собой Q = True
Когда P = 1, мы не можем получить логически корректного заключения, если Q = 0
Когда P = 0, мы имеем логически корректное высказывание и когда Q = 0, и когда Q = 1
Обозначается стрелкой (символ импликации)
В логике условное высказывание принято считать ложным только в том случае, когда предпосылка P истинна, а заключение Q ложно

P	Q
1	1	1
1	0	0
0	1	1
0	0	1

p. Хаггарти. Дискретная математика для программистов. Стр. 24-27
Ф. Владсон. Теоретический минимому по Computer Science. Стр.21-22

Предикатом называется утверждение, содержащее переменные, принимающие значения истины или лжи в зависимости от значений переменных.
Обозначается как P(x)
К примеру является предикатом, так как истино при x = 0 и x = 1 и ложно в любом другом случае.
Логические операции можно применять и к предикатам. К кванторам относят:

• для всех или
• существует или

Эквивалентность обозначается двунаправленной стрелкой.
p. Хаггарти. Дискретная математика для программистов. Стр. 28-30

Назад к Математике