Lógica Proposicional

Lógica proposicional
La lógica matemática o proposicional consiste en utilizar símbolos a través de tablas de verdad

que nos indican lo verdadero o falso.
El Diccionario RAE define proposición como “enunciación de una verdad demostrada o que se
trata de demostrar”, su análisis es el fundamento de la lógica proposicional que, a través de este
método de análisis, utiliza un lenguaje exacto que no da lugar a imprecisiones.
Proposiciones
Tautología: se define tautología o validez a aquella formula que siempre es verdadera.
Contradicción: es una proposición que siempre es falsa para todos los valores de
verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el resultado de
la formula lógica estudiada siempre va a ser falso.
Conjunción: es aquella formula que es falsa o verdadera. Las expresiones de las que
depende la validez de los argumentos se definen constantes lógicas.
Conectores lógicos
Como hemos dicho enlazan dos o más proposiciones simples, dependiendo de cómo realizan esta vinculación
pueden ser:
 Conjunción: la letra “y”, en este caso para que la proposición compuesta sea verdad las dos
proposicionessimples deben ser verdaderas.
 Disyunción débil la letra “o”, para que la proposición compuesta sea verdad una de las dos
proposiciones será verdadera o las dos, la proposición compuesta sólo será falsa si las dos proposiciones
simples que la componen son falsas.
 Disyunción fuerte con la combinación “o...o...” como en la frase “o comes carne o comes pescado”; en
este caso para que la proposición compuesta sea verdadera una de las dos simples que la componen debe
ser verdadera y la otra falsa, si las dos fueran verdaderas o las dos falsas la proposición compuesta sería
falsa.
 Condicional por la expresión “sí … entonces ...”: la primera proposición simple es el antecedente y el
segundo consecuente. En este caso la proposición será verdadera salvo que la primera sea verdadera y la
segunda falsa, en cuyo caso la compuesta será falsa.
 Bicondicional por la expresión “sí y sólo sí”, como en la frase “el animal ladra sí y sólo sí es un perro”:
en este caso la proposición compuesta es verdadera si las dos simples son, a la vez, verdaderas o las dos
falsas, si una fuera verdadera y la otra falsa la compuesta sería falsa.
 Negación puede ser con la expresión “no” o “no es cierto que”, para que la compuesta sea verdadera al
menos una de las dos que la componen ha de ser falsa.
Tabla de la Verdad
 La negación: Cuando la variable es verdadera al negarla se convierte en falsa, y si
es falsa, al negarla se hace verdadera.
A ~A
V F
F V
 La disyunción: Solo es falsa cuando todas las variables son falsas.

A B AVB
V V V
V F V
F V V
F F F
 La conjunción: Únicamente es verdadera cuando todas las variables son verdaderas

también.
A B A ∧ B
V V V
V F F
F V F
F F F
 El condicional: Solo cuando la primera variable o antecedente, es verdadera y la

segunda o consecuente, falsa, el resultado es falso.
A B A⇒B
V V V
V F F
F V V
F F V
 El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.
A B A⇔B
V V V
V F F
F V F
F F V
LEYES NOTABLES DE LÓGICA
1. Ley de doble negación: Dentro de un sistema de lógica clásica, la doble negación, esto es, la
negación de la negación de una proposición p, eslógicamente equivalente a p. Expresado
simbólicamente, ¬(¬p) ⇔ p. En lógica intuicionista, una proposición implica su doble
negación, pero no al revés. Esto marca una importante diferencia entre la negación clásica e
intuicionista. Algebraicamente, la negación clásica es llamada una involución de periodo dos.
Sin embargo, en lógica intuicionista, sí tenemos la equivalencia entre ¬¬¬p y ¬p. Es más, en el caso
proposicional, una oración es demostrable de forma clásica, si su doble negación es demostrable de
manera intuicionista. Este resultado es conocido como el teorema de Glivenko.
2. Leyes de idempotencia: En matemática y lógica, la idempotencia es la propiedad para

realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se
obtendría si se realizase una sola vez. Un elemento que cumple esta propiedad es
un elemento idempotente, o un idempotente. De esta manera, si un elemento al multiplicarse
por sí mismo sucesivas veces da él mismo, este elemento es idempotente. Por ejemplo, los
dos únicos números reales que son idempotentes, para la operación producto (·), son 0 y 1.
(0·0=0,1·1=1).
3. Leyes asociativas: Las "Leyes asociativas" quieren decir que no importa cómo agrupes los
números (o sea, qué calculas primero) cuando sumas o cuando multiplicas.
(a + b) + c = a + (b + c)
(a × b) × c = a × (b × c)
4. Leyes conmutativas:Las "leyes conmutativas" sólo quieren decir que puedes intercambiar los
números cuando sumas o cuando multiplicas y la respuesta va a ser la misma.
a + b = b + a
a × b = b × a
5. Leyes distributivas:La "ley distributiva" es la MEJOR de todas, pero hay que usarla con
mucho cuidado Quiere decir que la respuesta es la misma cuando:
o sumas varios números y el resultado lo multiplicas por algo, o
o haces cada multiplicación por separado y luego sumas los resultados
Así:
(a + b) × c = a × c + b × c
 Leyes de De Morgan: En lógica proposicional y álgebra de Boole, las leyes de De

Morgan son un par de reglas de transformación que son ambas reglas de
inferencia válidas. Las normas permiten la expresión de
las conjunciones y disyunciones puramente en términos de sí vía negación.
Las reglas se pueden expresar en español como:
La negación de la conjunción es la disyunción de las negaciones.

La negación de la disyunción es la conjunción de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"
y también,
"no (A o B)" es lo mismo que "(no A) y (no B)"
Las reglas pueden ser expresadas en un lenguaje formal con dos proposiciones P y Q, de esta
forma:
Límites de la lógica proposicional

La maquinaria de la lógica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de
argumentos. Sin embargo, también existen argumentos que son intuitivamente válidos, pero cuya validez no se
puede probar por la lógica proposicional.

Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Lógica proposicional

La lógica matemática o proposicional consiste en utilizar símbolos a través de tablas de verdad

 La disyunción: Solo es falsa cuando todas las variables son falsas.

 La conjunción: Únicamente es verdadera cuando todas las variables son verdaderas

 El condicional: Solo cuando la primera variable o antecedente, es verdadera y la

 El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.

2. Leyes de idempotencia: En matemática y lógica, la idempotencia es la propiedad para

o sumas varios números y el resultado lo multiplicas por algo, o

o haces cada multiplicación por separado y luego sumas los resultados

 Leyes de De Morgan: En lógica proposicional y álgebra de Boole, las leyes de De

Las reglas se pueden expresar en español como:

La negación de la conjunción es la disyunción de las negaciones.

"no (A y B)" es lo mismo que "(no A) o (no B)"

"no (A o B)" es lo mismo que "(no A) y (no B)"

Límites de la lógica proposicional

También podría gustarte