Hopp til innhold
X
Innhald

Deduktiv teori

Deduktiv teori er ei formell oppbygging av ein matematisk eller logisk teori der ein frå aksiom og grunnomgrep leier ut matematiske setningar med prov. Nye omgrep vert innførte med definisjonar.

 
Redigert og omsett frå Caplex, digital utgåve 2000–2006
Einerett for nynorsk utgåve etter avtale med Cappelen Damm 2009
 

Først publisert: 02.04.2012
Sist oppdatert: 02.04.2012