Matematisk logik

Från Wikipedia
Hoppa till navigering Hoppa till sök
Logik, Formellt system
Logiska system

Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik.

Se även[redigera | redigera wikitext]


Venn A intersect B.svg Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.