Engelse synoniemen over ons - contact  
 of zomaar wat rondneuzen
mathematical logicformal logicsymbolic logiclogiclogical systemsystem of logicBoolean algebraBoolean logicpropositional calculuspropositional logicfunctional calculuspredicate calculusmodal logicfuzzy logic

mathematical logic

zelfstandig naamwoord

1 mathematical logic

Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

synoniemen: formal logic, symbolic logic.

is een specifiek soort: logic, logical system, system of logic.

is een bredere term voor o.a.: Boolean algebra, Boolean logic | propositional calculus, propositional logic | functional calculus, predicate calculus | modal logic | fuzzy logic.

Nederlands: wiskundige logica

Vind elders meer over mathematical logic: etymologie - rijmwoorden - Wikipedia.

debug info: 0.0145

 

Door in1woord met data van derden - privacy - contact - sitemap