Predikatala logiko

Predikatala logiko esas kolekto di formala sistemi o simple logikala sistemo uzata en matematiko, filozofio, linguistiko e informatiko.