Henkinův svědek

Henkinův svědek je v logické teorii individuum, které je ve vztahu s kvantifikátorem. Pojem byl objeven Leonem Henkinem v rámci jeho důkazu úplnosti logiky prvního řádu.

Pro existenční kvantifikátor máme

\exists x.P(x) \supset P(c)

a pro univerzální

P(c) \supset \forall x.P(x)

V teorii arbitrárních objektů odpovídá svědek pro univerzální kvantifikaci typickému prvku množiny.

Kategorie:Logika