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

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.