Pravidlo generalizácie
 |
Tento článok alebo jeho časť si vyžaduje úpravu, aby zodpovedal vyššiemu štandardu kvality. Prosím, pozrite si stránky pomocníka, odporúčanie pre encyklopedický štýl a článok vhodne upravte. |
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ť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |