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

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

Булева алгебра

Boolean algebra

От Дж.Буль - английский математик 1815-1864

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

Высказывание

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

Дизъюнкция высказываний

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

Импликация высказываний

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

Исчисление предикатов

Исчисление предикатов - формальный язык классической логики, который использует функции и предикаты для описания отношений между отдельными сущностями.

Конъюнкция высказываний

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

Логическое программирование

Логическое программирование - программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях.

Традиционная логика

Traditional logic

Традиционная логика - этап в развитии формальной логики, связанный с анализом элементарных структур мышления, выведения доказательства и правил предупреждения логических ошибок в рамках естественных языков и простейших приемов символизации.

Формальная логика

Formal logic

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

Язык программирования Пролог

PROLOG language

От англ.PROgramming in LOGic

Язык программирования Пролог - язык логического программирования, программа на котором состоит:
- из логических утверждений, образующих базу данных; и
- из правила вывода новых утверждений из известных.