Matematické Fórum

slender · 01. 02. 2017 15:03

Ahoj,
mám v predikátové logice skolemizovat následující teorii:

$T=\{(\forall x)(\exists y)\neg P(x,y), (\exists x)R(x), (\forall x)(\exists y)(\forall z)(\neg R(x) \vee P(y,z))\}$

(Doslovné zadání zní: Skolemizací nalezněte k $T$ ekvisplnitelnou teorii $T'$ (nad vhodně rozšířeným jazykem) axiomatizovatelnou pouze univerzílními sentencemi.)

Umím ale pouze skolemizovat jednotlivé sentence, nikoli celou teorii. Stačí skolemizovat jednotlivé axiomy, nebo mám dát všechny axiomy do konjunkce a skolemizovat toto:

$(\forall x)(\exists y)\neg P(x,y)\wedge (\exists x)R(x)\wedge (\forall x)(\exists y)(\forall z)(\neg R(x) \vee P(y,z))$

Matematické Fórum

#1 01. 02. 2017 15:03

Jak skolemizovat teorii?

Zápatí