Logg inn eller registrer deg☞

Matematisk logikk

Symbolsk logikk er en disiplin innen logikken som studerer utsagns og argumenters (slutningers) logiske form når formen «rendyrkes» ved at standardiserte symboler erstatter konkrete betydningsbærende uttrykk. Den kalles også logistikk, logikkalkyle, matematisk logikk eller formal logikk.Symbolene forekommer i flere ulike notasjoner (skrivemåter). De to viktigste typene står henholdsvis for konstanter og variabler. Hele artikkelen

Fagansvarlig

Eyvind Martol Briseid

OsloMet – storbyuniversitetet

Redaktør

Anne Eilertsen

Inneholder 47 artikler:

A

  1. a fortiori
  2. aggregat – matematikk
  3. aksiom – matematikk
  4. antinomi – matematikk

B

  1. bevis – matematikk
  2. boolsk algebra

D

  1. deduksjon – matematikk
  2. demonstrasjon – matematikk
  3. den tomme mengde

E

  1. ekvivalens

F

  1. formel – matematikk
  2. formell – vitenskap
  3. formodning – matematikk
  4. fuzzy-logikk

I

  1. induksjon – matematikk
  2. intuisjonisme – matematikk

K

  1. kardinaltall
  2. klasse – matematikk
  3. kompleksitet – matematikk
  4. kompleksitetsklasser
  5. komplement – matematikk
  6. konnektiv – logikk
  7. konstruktivisme – matematikk
  8. kvantor – matematikk

M

  1. matematisk logikk
  2. mengde – matematikk
  3. mengdelære

P

  1. parentes – matematikk
  2. polsk notasjon

R

  1. Russells paradoks
  2. rekursjon
  3. relasjon – matematikk

S

  1. sats – matematikk
  2. snitt – matematikk
  3. symbol – matematikk

T

  1. tellbar
  2. teorem
  3. transfinite tall

U

  1. uendelig – matematikk
  2. uendelighetsaksiomet
  3. ufullstendighetsteoremene
  4. union – matematikk
  5. unær
  6. utvalgsaksiomet

V

  1. Venn-diagram
  2. velordnet mengde

Ø

  1. Ø – matematikk