{"@context":{"dc":"http:\/\/purl.org\/dc\/elements\/1.1\/","skos":"http:\/\/www.w3.org\/2004\/02\/skos\/core#","skos:broader":{"@type":"@id"},"skos:inScheme":{"@type":"@id"},"skos:related":{"@type":"@id"},"skos:narrower":{"@type":"@id"},"skos:hasTopConcept":{"@type":"@id"},"skos:topConceptOf":{"@type":"@id"}},"@id":"https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/15106","@type":"skos:Concept","skos:prefLabel":{"@language":"pt-BR","@value=":"L\u00f3gica matem\u00e1tica"},"skos:inScheme":"https:\/\/adm.senado.leg.br\/vcb\/vocab\/","dct:created":"2020-09-18 17:45:20","skos:definition":[{"@lang":"pt-BR","@value":"L\u00f3gica Matem\u00e1tica \u00e9 uma sub-\u00e1rea da matem\u00e1tica que explora as aplica\u00e7\u00f5es da l\u00f3gica formal para a matem\u00e1tica. Basicamente, tem liga\u00e7\u00f5es fortes com matem\u00e1tica, os fundamentos da matem\u00e1tica e ci\u00eancia da computa\u00e7\u00e3o te\u00f3rica.$vWikip\u00e9dia "}],"skos:narrower":["https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/3614","https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/19977","https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/19976","https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/19978","https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/1973"],"skos:broader":["https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/1974"],"skos:altLabel":[{"language":"pt-BR","value":"L\u00f3gica simb\u00f3lica e matem\u00e1tica"}],"skos:related":["https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/2697","https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/2423"]}