REPÚBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL EXPERIMENTAL “SIMÓN RODRÍGUEZ”

NÚCLEO CARICUAO
CURSO: PRECÁLCALO
SECCIÓN: 201

 
 

LÓGICA
 
PROPORSICIONAL
 
 
 

 
FACILITADOR: PARTICIPANTE:

NORIEGA NELSON MATERANO LISNARDO

  CI:30.551.963
  TELÉFONO:04129635635

CARACAS, 5 DE NOVIEMBRE DE 2021

 INTRODUCCIÓN
 
La representación del conocimiento es un área de la inteligencia artificial cuyo
objetivo fundamental es representar el conocimiento de una manera que facilite
sacar conclusiones (inferencias) a partir de dicho conocimiento. Analiza cómo usar
un sistema de símbolos para representar un dominio de una frase, junto con
funciones que permitan razonar sobre las posibles acciones que se puedan
realizar. Generalmente, se usa algún tipo de lógica para proveer una semántica
formal de como las funciones de razonamiento se aplican a los símbolos del
dominio del discurso, además de proveer operadores como cuantifica dores,
operadores modales, etc. Esto, junto a una teoría de interpretación, da significado
a las frases en la lógica.

Cuando diseñamos un sistema de representación del conocimiento para

interpretar frases y poder derivar inferencias de ellas, tenemos que hacer
elecciones que permitan obtener un resultado lógico. La decisión más importante
que hay que tomar es la expresividad de la representación del conocimiento.
Cuanto más expresiva es, decir algo es más fácil y más compacto. Sin embargo,
cuanto más expresivo es un lenguaje, más difícil es derivar inferencias
automáticamente de él.
 
 
 
 
 
 
 
 
 
 

 
 
 
 
 
 
¿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.

La proposición anterior recibe el nombre de fórmula bien formada. Una fórmula

bien formada puede ser una proposición simple o compuesta que tiene sentido
completo y cuyo valor de veracidad puede ser determinado. La Lógica
Proposicional suministra un mecanismo para asignar valores de veracidad a la
proposición compuesta, basado en los valores de veracidad de las proposiciones
simples y en la naturaleza de los conectores lógicos involucrados. Un enunciado
complejo será verdadero o falso en función de la forma en que estén dispuestos
los enunciados simples que lo componen.
Lo que diferencia semánticamente las conectivas es el valor de verdad del
enunciado compuesto que se forma con ellas:
 
 Kevin es rubio y Sofia es morena
 Kevin es rubio o Sofia es morena
 Si Kevin es rubio, Sofia es morena
 Kevin es rubio, si y sólo si, Sofia es morena
 Kevin no es rubio, ni Sofia morena
Cada una de estas afirmaciones es verdadera en condiciones diferentes. Dichas
condiciones vienen dadas por las distintas conectivas lógicas.

 
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.
 
Co

Conectivo Expresión en Ejemplo Símbolo

lenguaje
natural
Negación no Kevin no es rubio
Ø~
Conjunción  Y Kevin es rubio y
Sofia morena Ù
disyunción o Kevin es rubio o
Sofia es morena Ú
Implicación Si... entonces Si Kevin es rubio
entonces Sofia es Þ
morena
Bi-condicional Si y solo si Kevin es rubio si y
solo si Sofia es Ûº
morena
 
 
 
 
 
 
 
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.
 
Negación Conjunción Disyunción

p Ø p p Q pÙ q p q pÚ q

V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F
 
 
   Condicional Bi condicional

p q PÞ q P q PÛ q
V V V V V V
V F F V F F
F V V F V F
           
           
 
 
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.

·         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.
Ø Øp º p
 
2.  Leyes de idempotencia: Establece que si un enunciado se aplica un conector,
de por sí mismo vuelve a obtenerse el mismo enunciado.
 
(p Ú p) º p
(p Ù p) º p
 
3.    Leyes asociativas: Establece que no importa cómo se agrupen los enunciados
cuando se conectan en forma de conjunción o disyunción.
 
(p Ú  q)  Ú r º p Ú (q Ú r)
(p Ù  q)  Ù r º p Ù (q Ù r)
 
4.    Leyes comunicativas: 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.
 
(p Ù  q) º (q Ù p)
(p Ú  q) º (q Ú p)
 
5.    Leyes distributivas: Esta ley distribuye a la proposición fuera del paréntesis
con las que están dentro de este.
p Ú (q Ù r) º (p Ú q) Ù (p Ú r)
p Ù (q Ú r) º (p Ù q) Ú (p Ù r)
 
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.
Ø(p Ú  q) º Øp Ù Øq
Ø(p Ù  q) ºØp Ú Øq
 
7.    Leyes de la Implicación: Esta ley ordena de diversas formas a la proposición
sin alterar el producto.
 
(p Û  q) º (p Þ q) Ù (q Þp)
(p Þ q) º (Øp Þ Øq)
(q Þ p) º (Øq Þ Øp)
(p Þ q) º (Øpn Ú q)
 
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.
 
Como este argumento no contiene ninguna de las conectivas «no», «y», «o», etc.,
según la lógica proposicional, su formalización será la siguiente:
 p
 q
 Por lo tanto, r
 
Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición
de que el argumento es válido. Para teorizar sobre la validez de este tipo de
argumentos, se necesita investigar la estructura interna de las variables
proposicionales. De esto se ocupa la lógica de primer orden.
 
Sistema Axiomático
 
El sistema axiomático está compuesto por un Alfabeto y por una Gramática. El
alfabeto de este sistema es el conjunto de símbolos que pertenecen al lenguaje
del sistema. Consiste en una cantidad finita pero arbitrariamente grande de
variables proposicionales, conjunto de operadores lógicos y los dos signos de
puntuación paréntesis. Este último permite eliminar la ambigüedad en expresiones
ambiguas.
 
La gramática consiste en un conjunto de reglas que definen un conjunto de
caracteres que pertenecen al lenguaje del sistema. Las cadenas de caracteres
construidos de acuerdo a estas reglas se les llaman fórmulas bien formadas. De
acuerdo a estas leyes podemos decir que las siguientes cadenas de caracteres
son fórmulas bien formadas:
 
 p
 Ø Ø Øp
  P Ù  q
 Ø(p Ù  q)
 pÛØp
Finalmente, existen jerarquías que se deben respetar al momento de interpretar
una cadena de caracteres, las conjunciones y disyunciones tienen menor jerarquía
que las implicaciones y bi-condicionales. Esto es equivalente a las matemáticas,
en las cuales las multiplicaciones y divisiones se realizan antes que las sumas y
restas, siempre y cuando no se utilicen paréntesis para definir lo contrario.

Los axiomas son un conjunto de fórmulas bien formadas que se toman como
punto de partida para demostraciones ulteriores.

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. A cada variable proposicional se le
asigna uno de dos posibles valores de verdad: V (verdadero) o F (falso). Esto
quiere decir que si hay n variables proposicionales en el sistema, el número de
interpretaciones distintas es de 2n.

Con esto aparecen las tablas de verdad, que representan todas las posibles
interpretaciones de las variables proposicionales que constituyen una determinada
fórmula. A continuación generaremos la tabla de verdad para la fórmula: Ø(p
Ú q) Þ (p Þ r)
 
 
 
p q r (p Ú q) Ø(p Ú q) (p Þ r) Ø(p Ú q) Þ(p Þ r)

V V V V F V V
V V F V F F V
V F V V F V V
V F F V F F V
F V V V F V V
F V F V F V V
F F V F V V V
 F F F F V V V
 
Ejemplos de Uso de Lógica Proposicional
 
 
 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)
   d)    Vi la película aunque no leí la novela: p ^ ¬q
   e)    No me gusta trasnochar ni madrugar: ¬p ^ ¬q
   f)     O tú estás equivocado o es falsa la noticia que has leído: p v q
   g)    Si no estuvieras loca, no habrías venido aquí: ¬p → ¬q
   h)   Llueve y o bien nieva o sopla el viento: p ^ (q v r)
    i)     O está lloviendo y nevando o está soplando el viento: (p ^ q) v r)
 
 

CONCLUSIÓN
 
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.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
REFERENCIAS
 
Web:
 

Ampa, Fecha de consulta (3 de noviembre de 2021) Logica Proporsicional

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

Slideshare, Fecha de consulta (3 de noviembre de 2021) Ejemplos de Logica

Proporsicional.

https://es.slideshare.net/amarilisrivas94/ejemplos-de-logica-proposicional

Wikipedia Fecha de consulta (3 de nobiembre de 2021) Lógica proposicional

Sistema axiomático.

http://es.wikipedia.org/wiki/Lógica_proposicional#Sistema_axiom.C3.A1tico

Wikipedia, Fecha de consulta (3 de noviembre de 2021) Representación del

conocimiento.
 
http://es.wikipedia.org/wiki/Representación_del_conocimiento

Anexos