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. De logiska relationer mellan satser som här studeras beror både på den inre strukturen hos olika atomära satser och

(50 av 357 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

D. Prawitz, ABC i symbolisk logik ( 2:a upplagan 1991);
P. Suppes, Introduction to Logic ( 1957).
Källangivelse
Nationalencyklopedin, predikatlogik. http://www.ne.se/uppslagsverk/encyklopedi/lång/predikatlogik