Lógica formal

Mira otros diccionarios:

• lógica formal — ► locución Conjunto de las leyes y las reglas relativas al razonamiento deductivo …   Enciclopedia Universal

• lógica — (Del lat. logĭca, y este del gr. λογική). 1. f. Ciencia que expone las leyes, modos y formas del conocimiento científico. 2. Tratado de esta ciencia. Escribió una lógica que fue muy comentada. lógica borrosa, o lógica difusa. f. La que admite una …   Diccionario de la lengua española

• formal — (Del lat. formālis). 1. adj. Perteneciente o relativo a la forma, por contraposición a esencial. 2. Que tiene formalidad. 3. Dicho de una persona: Seria, amiga de la verdad y enemiga de chanzas. 4. Expreso, preciso, determinado. ☛ V. acto formal …   Diccionario de la lengua española

• 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

• Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

• Lógica — (Del lat. logica < gr. logike.) ► sustantivo femenino 1 LÓGICA Ciencia que expone las leyes, argumentaciones y formas que dan validez y consistencia al conocimiento científico. 2 Capacidad para actuar y tomar decisiones de forma acertada: ■ si …   Enciclopedia Universal

• Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

• Lógica informal — La lógica informal, o lógica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposición al estudio de los argumentos en una forma técnica o artificial, que corresponde a la lógica formal. Esta parte de la… …   Wikipedia Español

• Lógica de clases — La lógica de clases considera la proposición considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de… …   Wikipedia Español

• lógica — s f 1 Disciplina que trata de la estructura y las relaciones que hay entre los diferentes elementos del discurso, como son los conceptos y los juicios, y establece los principios formales del razonamiento: lógica formal, lógica dialéctica, lógica …   Español en México