satslogik
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 196 ord)
Vill du få tillgång till hela artikeln?
Medverkande
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