Pravidlo generalizácie

Pravidlo generalizácie umožňuje vyvodiť z predikátovej formuly í (x) predikátovú formulu (Ax) í(x). Symbolicky

í(x)

Ä.

(Ax) í(x)

Ak sa nám totiž podarí dokázať í(x) bez toho, aby sme využili špecifické vlastnosti objektu x, platí formula í pre všetky x.

Externé odkazy

upraviť
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.