Kalkul predik�tov�

kalkul predik�tov�

- 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.