Dicționar Român. 2013.
metalógica — s. f. Diz se de uma disciplina que toma por objeto as fórmulas de uma lógica já constituída, assim como as regras do seu manuseamento … Dicionário da Língua Portuguesa
Metalógica — La metalógica es el estudio de las propiedades y los componentes de los sistemas lógicos.[1] Contenido 1 Propiedades metalógicas 1.1 Consistencia 1.2 Decidibilidad … Wikipedia Español
metalógica — ► femenino LINGÜÍSTICA Y LÓGICA Parte de la semiótica que estudia el lenguaje lógico. * * * Estudio de la sintaxis y la semántica de los lenguajes formales y los sistemas formales. Tiene relación con el tratamiento formal de las lenguas naturales … Enciclopedia Universal
metalogica — pl.f. metalogiche … Dizionario dei sinonimi e contrari
Jesús Padilla Gálvez — Nombre completo Jesús Padilla Gálvez Nacimiento 28 de actubre de 1959 Almería, España … Wikipedia Español
Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
metalogic — metalógic adj. m., pl. metalógici; f. sg. metalógică, pl. metalógice Trimis de siveco, 10.08.2004. Sursa: Dicţionar ortografic METALÓGIC, Ă adj. Referitor la metalogică. [< fr. métalogique] … Dicționar Român
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Completitud semántica — En lógica, se llama completitud semántica, o simplemente completitud, o completud, a una propiedad metateórica que pueden tener los sistemas lógicos. Se dice que un sistema lógico es semánticamente completo cuando todas las fórmulas lógicamente… … Wikipedia Español
Consistencia (lógica) — Se ha sugerido que este artículo o sección sea fusionado con Prueba de consistencia (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La consistencia lógica es una propiedad que pueden tener los… … Wikipedia Español
