formallogikk

den delen av logikken som undersøker en argumentasjons gyldighet gjennom dens formale struktur, f.eks. forholdet mellom premisser og konklusjon

; formal logikk