Abstrakcia (logika)

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 


Kategória:Logika