Abstrakcia (logika)

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

Abstrakcia v logike je operácia meniaca výrokovú funkciu na názov množiny predmetov, ktoré majú vlastnosť reprezentovanú touto výrokovou funkciou.

Zdroj[upraviť | upraviť zdroj]