logikkalkyle

Uttale
logˈikkalkyle

dss. symbolsk logikk eller matematisk logikk, se logikk.