ÍNDICE

¿Qué es Lógica Proposicional? ........................................................................... 4

Conectivos lógicos ............................................................................................... 5
Leyes y Límites de la Lógica Proposicional ....................................................... 6
Semántica .............................................................................................................. 8
CONCLUSIONES ................................................................................................... 9
Referencias .......................................................................................................... 10

2
3
¿Qué es Lógica Proposicional?

Para entender qué es la Lógica proposicional, debemos entender que es una

proposición. Una proposición es una oración enunciativa, es decir, que afirma o
niega algo y que por lo tanto, puede ser verdadera o falsa. Esta proposición será
representada por las Variables Proposicionales o Letras Enunciativas que
corresponden a letras del alfabeto latino, empezando por la letra p, luego q, r, s,
etc.

Ahora bien, la lógica proposicional es un sistema formal cuyos elementos más

simples representan proposiciones, y cuyas constantes lógicas, llamadas
conectivas, representan operaciones sobre proposiciones, capaces de formar
otras proposiciones de mayor complejidad. En la Lógica proposicional las
proposiciones no se analizan, sino que se toman como un bloque y son los
elementos mínimos sobre los cuales opera esta rama de la Lógica.

Una proposición es una sentencia simple, también conocida como Proposición

Simple, que tiene un valor asociado ya sea verdadero (V), o falso (F). Por ejemplo:
 hoy es sábado
 hace frío

La lógica proposicional, permite la asignación de un valor verdadero o falso para la

sentencia completa, no tiene facilidad para analizar las palabras individuales que
componen la sentencia. Por este motivo, la representación de las sentencias del
ejemplo, como proposiciones, sería:
 hoy_es_sábado
 hace_frío
Las proposiciones pueden combinarse para expresar conceptos más complejos,
esto es conocido como Proposición Compleja o Molecular, en la cual se unen
proposiciones simples formando una compleja. Por ejemplo:
 hoy_es_sábado y hace_frío.

4
Conectivos lógicos

En la lógica proposicional, los conectivos lógicos son tratados como funciones de

verdad. Es decir, como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad.

Los conectivos lógicos son funciones que permiten combinar valores de verdad y
entregar valores de verdad, esto se puede visualizar mediante una tabla que
entregue los valores de verdad que la función devuelve con todas las
combinaciones posibles.

Para representar la tabla de verdad cuando se aplica conectores, se exponen

algunos ejemplos:

 Sea p una fórmula cualquiera, ¬ p es verdadero cuando p es falso, y falso

cuando p es verdadero.

 Sean p y q fórmulas cualesquiera, (p  q) es verdadero cuando p y q son

verdaderos, y falso en los demás casos.

5
  Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q son falsos, y
verdadero en los demás casos.

 Sean p y q fórmulas cualesquiera, (p  q) es falso cuando p es verdadero y

q es falso, y verdadero en los demás casos.

 Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q tienen

distinto valor de verdad, y verdadero cuando tienen el mismo valor de
verdad.

Más que aprender de memoria estas tablas, lo importante es identificar el efecto

que provoca en los valores de verdad cuando se aplica una función.

Leyes y Límites de la Lógica Proposicional

Entre las reglas de la lógica proposicional clásica, algunas de las leyes más
notables son las siguientes:

1. Ley de doble negación: Establece que si un enunciado está doblemente

negado, equivaldría al enunciado afirmado.

2. Leyes de idempotencia: Establece que si un enunciado se aplica un

conector, de por sí mismo vuelve a obtenerse el mismo enunciado.

3. Leyes asociativas: Establece que no importa cómo se agrupen los

enunciados cuando se conectan en forma de conjunción o disyunción.

6
 4. Leyes conmutativas: Esta ley, no es válida para la implicación, pero sí para
conjunción y para la disyunción. Una conjunción es afirmar que se dan dos
cosas a la vez, de modo que el orden de sus elementos no cambia este
hecho. Igualmente, una disyunción es presentar una elección entre dos
cosas, sin importar en qué orden se presente esta elección.

5. Leyes distributivas:Esta ley distribuye a la proposición fuera del paréntesis

con las que están dentro de este.

6. Leyes de De Morgan: Esta ley permite transformar una disyunción en una

conjunción, y viceversa, es decir, una conjunción en una disyunción.
Cuando se pasa de una a otra, se cambian los valores de afirmación y
negación de los términos de la disyunción/conjunción así como de la propia
operación en conjunto.

7. Leyes de la Implicación: Esta ley ordena de diversas formas a la

proposición sin alterar el producto.

Respecto a los límites, 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 puede ser
probada por la lógica proposicional. Por ejemplo, considérese el siguiente
argumento:
 Todos los hombres son mortales.
 Sócrates es un hombre.
 Por lo tanto, Sócrates es mortal.

7
Semántica

Una interpretación para un sistema de lógica proposicional es una asignación de

valores de verdad para cada variable proposicional, sumada a la asignación usual
de significados para los operadores lógicos.

Ejemplos de simbolización de Oraciones/Proposiciones

a) No vi la película, pero leí la novela: ¬p ^ q

b) Ni vi la película ni leí la novela: ¬p ^ ¬q
c) No es cierto que viese la película y leyese la novela: ¬(p ^ q)

Simbolización de Proposiciones

a) Si p, entonces q: p → q
b) No es el caso que p y q: ¬(p ^ q)
c) p solamente si q y no-r: p ↔ (q ^ ¬r)
d) p o no-q: p v ¬q
e) Si p y q, entonces no-r o s: (p ^ q) → (¬r v s)
f) Si p, entonces q, y si q, entonces p: (p → q) ^ (q → p)
g) Si p y q, entonces r. p. Luego si q, entonces r: (p ^ q) → r, p |- q → r

8
 CONCLUSIONES

La lógica proposicional es una de las piezas fundamentales de la Inteligencia

Artificial, ya que para realizar los cambios necesarios para la evolución de esta
ciencia, se precisa de un lenguaje formal para representar los hechos que se
reciben del mundo real y el uso de las proposiciones. El utilizar proposiciones es
una señal que encaja en forma perfecta en este ámbito. Es un modo sencillo y
práctico de resolver un problema, considerando que se puede resolver
disgregando el problema en proposiciones u oraciones sencillas que permiten
analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones u
oraciones sencillas o compuestas que se incorporan a la base de conocimiento,
permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica
para la resolución de problemas o la representación de la realidad a nivel de
proposiciones.

9
Referencias

http://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento

http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional#Sistema_axiom.C3.A1tic
o

http://www.uhu.es/470004009/docs/Tema_4.pdf

http://www.ampa-stjhuelva.org/Centro/Filosofia/Lgica%20proposicional.pdf

10