formallogikk substantiv MODERAT BOKMÅLen genus maskulinum ubestemt artikkel en FULL BOKMÅLSNORM BETYDNING OG BRUK den delen av logikken som undersøker en argumentasjons gyldighet gjennom dens formale struktur, f.eks. forholdet mellom premisser og konklusjon ; formal logikk
