Artikkelside

Nynorskordboka

formal logikk

Tyding og bruk

del av logikken som ligg nær matematikken og som undersøkjer gyldigheita til ein argumentasjon ut frå den reint formale samanhengen mellom ledda i argumentasjonen, til dømes mellom premissar og konklusjon;
Sjå: logikk