predikatlogik
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 på hur
(52 av 366 ord)
Vill du få tillgång till hela artikeln?
Medverkande
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