Pravidlo generalizácie

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť | upraviť kód]

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