Forma lógica

Forma lógica

Forma lógica

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo:


  • María ama a Juan
  • Juan es amado por María


Las oraciones, aunque gráfica o fonéticamente son distintas, consisten en una misma proposición. Y la forma lógica de dicha proposición puede ser representada unívocamente a través de un lenguaje lógico, a diferencia de lo que ocurre en un lenguaje natural.

Obtenido de "Forma l%C3%B3gica"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • formă — FÓRMĂ, forme, s.f. 1. (fil.: În corelaţie cu conţinut) Categorie care desemnează structura internă şi externă a unui conţinut, modul de organizare a elementelor din care se compune un obiect sau un proces. ♢ Forme ale conştiinţei sociale = forme… …   Dicționar Român

  • Lógica formal — La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas… …   Wikipedia Español

  • Lógica cableada — o Lógica de contactos, es una forma de realizar controles, en la que el tratamiento de datos (botonería, fines de carrera, sensores, presóstatos, etc.), se efectúa en conjunto con contactores o relés auxiliares, frecuentemente asociados a… …   Wikipedia Español

  • Lógica programada — Logica programada es lo contrario de la lógica cableada, es decir, este tipo de diseño permite utilizar un circuito o un proyecto para muchas otras funciones con el simple cambio del software que incorpora. La lógica programada se basa en… …   Wikipedia Español

  • Forma canónica conjuntiva — Saltar a navegación, búsqueda Se entiende por forma canónica conjuntiva la expresión algebraica normalizada de una función lógica obtenida como el producto de todos los Maxterms para los que la expresión algebraica ha de valer 0. También se… …   Wikipedia Español

  • Forma canónica disyuntiva — Saltar a navegación, búsqueda Se entiende por forma canónica disyuntiva la expresión algebraica normalizada de una función lógica obtenida como la suma de todos los minterms para los que la expresión algebraica ha de valer 1. También se denomina… …   Wikipedia Español

  • lógica — sustantivo femenino 1. (no contable) Ciencia que estudia las leyes y formas del conocimiento científico. 2. (no contable) Coherencia en el razonamiento y relación entre las ideas de forma que no haya contradicciones: Usa la lógica para resolver… …   Diccionario Salamanca de la Lengua Española

  • Forma normal de dominio/clave — Saltar a navegación, búsqueda La forma normal de dominio/clave (DKNF) es una forma normal usada en normalización de bases de datos que requiere que la base de datos contenga restricciones de dominios y de claves. Una restriccion del dominio… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   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

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”