predikatlogik, den mest grundläggande delen av modern logik, omfattande dels ett språk eller en språkram inom vilken många vetenskapliga teorier kan formaliseras, dels en deduktiv apparat för bevisföring inom detta språk.