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

Аватар пользователя Виктор Володин

Ликбез по логике предикатов. Часть 3

Физика исследует фундаментальные законы природы. Другие естественные науки в той или иной степени используют достижения физики, прямо или косвенно опираются на нее.

Математика является универсальным языком физики и небесной механики. Языком астрономии от Птолемея до Кеплера была классическая геометрия. Языком Ньютона и Максвелла – математический анализ и дифференциальные уравнения в частных производных. Современная физика имеет в своем арсенале сложный и непонятный для большинства неспециалистов математический аппарат.

Аватар пользователя Виктор Володин

Ликбез по логике предикатов. Часть 2

В процессе обсуждения первой части статьи выявилась необходимость дополнительно прояснить семантику кванторов.

Формулу

x P(x)

можно понимать как бесконечный аналог логического произведения

P(x1) ∧ P(x2) ∧ … ∧ P(xn)

RSS-материал