Полско записване

от Уикипедия, свободната енциклопедия

Полското записване (префиксно записване, представно записване) е създадено от полския математик Ян Лукасевич. При него операторите се поставят пред операндите, като по този начин се избягва употребата на скоби за означаване на приоритета.

Np отрицание ¬p
Kpq конюнкция p ∧ q
Apq дизюнкция p ∨ q
Cpq импликация p → q
Epq еквивалентност p ↔ q
PxFx квантор за общност ∀ x, Fx
SxGx квантор за съществуване ∃ x, Gx

Вижте също: обратно полско записване, инфиксно записване.