Глоссарий
Исчисление высказываний

Исчисление высказываний
Исчисление высказываний - область математической логики.

Булева алгебра
англ.Boolean algebra
От Дж.Буль - английский математик 1815-1864
Булева алгебра - раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание.

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

Дизъюнкция высказываний
Дизъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинно хотя бы одно из исходных высказываний.

Импликация высказываний
Импликация высказываний - новое высказывание:
- сконструированное их двух исходных высказываний: посылки и следствия;
- ложное только в тех случаях, посылка истинна, а следствие ложно.

Конъюнкция высказываний
Конъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинны все исходные высказывания.

Формальная логика
англ.Formal logic
Формальная логика - наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.

[ 03-05-2024 www.glossary.ru]