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
upraviť- abstrakcia. In: Encyclopaedia Beliana. 1. vyd. Bratislava : Encyklopedický ústav SAV; Veda, 1999. 696 s. ISBN 80-224-0554-X. Zväzok 1. (A – Belk), s. 33.