Siirry sisältöön

symbolinen logiikka

Wikisanakirjasta

Suomi

[muokkaa]

Substantiivi

[muokkaa]

symbolinen logiikka

  1. matemaattisen logiikan haara, joka keskittyy tutkimaan loogisen päättelyn rakenteita sellaisilla tavoilla, joilla se on mahdollista tehdä päätelmien sisällöstä riippumatta