satslogik, grundläggande del av den moderna logiken, i vilken satslogiska former studeras, dvs. sätten på vilka en sammansatt sats kan byggas upp med hjälp av satslogiska operatorer. Viktiga

(28 av 194 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

D. Prawitz, ABC i symbolisk logik 1–2 ( 2:a upplagan 1975).
Källangivelse
Nationalencyklopedin, satslogik. http://www.ne.se/uppslagsverk/encyklopedi/lång/satslogik