Predikátový kalkul
Predikátový kalkul je rozšírenie výrokového kalkulu formalizáciou záverov založených na vnútornej štruktúre vyrokov. Predikátový kalkul zostavil Gottlob Frege a podstatne obohacuje aristotelovskú i tradičnú sylogistiku.
Externé odkazy[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.