Existenciální instance - Existential instantiation

v predikátová logika, existenciální instance (také zvaný existenciální eliminace)^[1][2][3] je pravidlo závěru což říká, že vzhledem k formuli formuláře ${ displaystyle ( existuje x) phi (x)}$, lze odvodit ${ displaystyle phi (c)}$ pro nový konstantní symbol C. Pravidlo má omezení konstantní C zavedené pravidlem musí být nový výraz, který se v důkazu nevyskytl dříve, a nesmí se objevit ani v závěru důkazu.

V jedné formální notaci může být pravidlo označeno

${ displaystyle existuje xP left ({x} right) implikuje P left ({a} right)}$

kde A je nový konstantní symbol, který se v důkazu neobjevil.

Viz také

• Existenciální klam
• Univerzální instance
• Seznam pravidel odvození

Reference

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.