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