| Hér er að finna allar skráðar upplýsingar um hugtakið. |
Úr orðasafninu Tölvuorðasafnið (nýjasta útgáfa)
|
|
|
| Flokkun: | Tölvuorðasafnið (5. útgáfa 2013) |
|
| [íslenska] |
stærðfræðileg rökfræði
|
|
[skilgr.] Fræðigrein sem fjallar um gildar röksemdafærslur og aðgerðir með því að nota gervimál til þess að komast hjá margræðni og ófullkomleika [náttúrlegra tungumála.
] |
| [enska] |
mathematical logic
|
| [sh.] |
symbolic logic
|
|
|
|
|
|
