Predikátový kalkul

Z Wikipédie

Kalkul predikátový

kalkul predikátový je rozšírenie výrokového kalkulu formalizáciou záverov založených na vnútornej štruktúre vyrokov. Predikátový kalkul zostavil Frege a podstatne obohacuje aristotelovskú i tradičnú sylogistiku.

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.