Carrera Ing. Informática Doc.

Rosario Laura Mamani

CAPITULO Nro. 1
LOGICA PROPOSICIONAL

1° LOGICA MATEMATICA
La lógica matemática es una ciencia que estudia el razonamiento, a través de proposiciones que
se evalúan únicamente de dos maneras: verdadero o falso. Se parte de una o varias afirmaciones
llamadas “premisas” y de ellas se obtiene otras afirmaciones, que establecen la conclusión.
PROPOSICION LOGICA
Una proposición es una oración o expresión, la cual se puede calificar de dos maneras:
verdadera o falsa pero no las dos a la vez. Las proposiciones generalmente se simbolizan por las
últimas letras del abecedario p, q, r, s, … las cuales se denominan variables proposicionales.
CLASES DE PROPOSICIONES
Proposiciones simples o atómicas.- Son aquellas expresiones formadas por un solo enunciado
es decir presentan un solo sujeto y un solo predicado
Ejemplos.
p: Todos los números son impares
q: El bit es la unidad mínima de información digital
r: 5+5=9
Proposiciones compuestas o moleculares.- Son aquellos enunciados formados por dos o más
proposiciones simples unidos por conectivos lógicos
Ejemplos.
1.- Hoy es miércoles y tengo tarea.
2.- Ayer hizo calor o hizo frío.
3.- Yo no soy estudiante de nivel secundario.
4.- Si soy estudiante de informática, entonces tengo que estudiar lógica.
5.- Si x  2  5 , entonces x  3
CONECTIVOS LOGICOS
Son expresiones lingüísticas que permiten unió o conectan las proposiciones simples, siendo las
más utilizadas las siguientes:
1° Negación
Es un conectivo lógico que utiliza la palabra “no”, se simboliza por ,  otras expresiones que
significan negación: “no es cierto que”, “no es el caso que”, etc.

1
Carrera Ing. Informática Doc. Rosario Laura Mamani

Tabla de verdad
Ejemplo
p ~p
p: Java es un lenguaje de programación
V F
~p: No es cierto que Java es un lenguaje de programación
F V
2° Disyunción
Es un conectivo lógico que usa la letra “o” y se simboliza por: ˅
Tabla de verdad
Ejemplo
p q p q
p: eres universitario de la carrea de Ing. Informática
V V V
q: eres universitario de la carrera de Ing. Industrial
V F V
p  q : O eres universitario de la carrera de Ing. Informática o de la
F V V
carrera de Ing. Industrial
F F F

3° Conjunción
Es un conectivo lógico que usa la letra “y” se simboliza por: ∧ también son conectivos de
conjunción los siguientes términos: pero, sin embargo, además, aunque, a la vez, etc.
Tabla de verdad
p q p q Ejemplo
V V V p: Cecilia estudia Ing. Informática
V F F q: Cecilia trabaja de mensajera en un bufet
F V F p  q : Cecilia estudia Ing. Informática y trabaja en de mensajera en un
F F F bufet.

4° Implicación o condicional
Se presenta por la expresión “si, entonces” simboliza por → también son conectivos
condicionales los términos: “porque”, “dado que”, “siempre que”, “por lo tanto”, “cada vez que”
Tabla de verdad
p q p q Ejemplo
V V V p: Soy estudiante de la carrera de Ing. Informática
q: Tengo que estudiar lógica
V F F
p  q : Si soy estudiante de la carrera de Ing. Informática, entonces
F V V
tengo que estudiar lógica.
F F V

5° Bicondicional
Se presenta por la expresión “Si y solo si” y se simboliza por ⟺ significa que en ambos sentidos
se cumple la implicación.
2
Carrera Ing. Informática Doc. Rosario Laura Mamani

Tabla de verdad
p q p q
Ejemplo
V V V
p  q : x  3  5 si y solo si x  2
V F F
Significa que si x  3  5 entonces x  2 y que si x  2 , entonces
F V F
x  3  5 La implicación es en ambas direcciones.
F F V

El siguiente cuadro resume los conectivos lógicos

Conectivo lógico Interpretación Símbolo

Negación No ~,˥

Disyunción o ˅

Conjunción y ˄

Implicación o condicional “Si, entonces” →,⇒

Bicondicional “Si y solo si” ⇔,↔

2° TABLAS DE VERDAD
Es un arreglo ordenado de todas las combinaciones posibles de veracidad o falsedad de una
proposición simples o compuesta. Este arreglo contiene 2n filas, siendo n la cantidad de variables
de la proposición compuesta
CLASIFICACION DE FORMULAS PROPOSICIONALES
Tautología: es una proposición compuesta que resulta siempre verdadera, cualesquiera que
sean los valores de verdad de las proposiciones simples.
Contradicción: es una proposición compuesta que resulta siempre falsa, cualesquiera que sean
los valores de verdad de las proposiciones simples. Es lo contrario a la tautología.
Contingencia: se dice que existe una contingencia cuando en los valores finales de la tabla de
verdad encontramos verdaderos y falsos.
Ejemplos. Construir la tabla de verdad de las proposiciones y clasificarlos


a. p   p  q   
b.  p  q  q   p
    
c. p  q  r  p  q  p  r   

3
Carrera Ing. Informática Doc. Rosario Laura Mamani

3º LEYES DEL ALGEBRA PROPOSICIONAL

Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y
expresarlos en forma más sencilla. Las demostraciones de dichas leyes se hacen construyendo
la tabla de verdad en cada caso.
a. Ley de idempotencia f. Ley de la implicación
ppp p q   p q
pp p
b. Ley conmutativa

p q   p  q 
p q q p g. Ley de bicondicional
p  q q p 
p q  p q  q  p   
p q q  p   
p  q   p q  q  p 
p  q  p  q    p   q 
c. Ley asociativa
   
p  q r  p q r
h. Ley de absorción
p  q  r    p  q   r
p  q  r    p  q   r
 
p  p q  p
p  p  q   p
d. Ley distributiva
p   p  q   p  q
     
p  q r  p q  p r
p   p  q   p  q
p  q  r    p  q    p  r 
i. Leyes de Morgan
p  q  r    p  q    p  r 
p  q  r    p  q    p  r 
 
 p q   p  q
 p  q    p   q
e. Ley de identidad
V  p  p V  p j. Leyes de complemento
p  p F
F p p F  F
p   p V
F  p p F  p
 p  p
V  p  p V  V

Simplificar una formula proposicional significa transformarla en otra equivalente a ella, pero
con el menor número de proposiciones y conectivos lógicos posibles.
Ejemplos. Usando leyes lógicas simplificar las siguientes expresiones

  
1.  p  q   p  q 

2. p  q  p   q 
  
     
3.  p   q  p  q    p   q  

4. Demostrar p  p  q  q  r   p  q  r
   

5. Demostrar   p   p   q    q   p  p
    
4
Carrera Ing. Informática Doc. Rosario Laura Mamani

4º RAZONAMIENTO DEDUCTIVO
La inferencia lógica es un razonamiento en el que a partir de un conjunto de proposiciones
llamadas premisas se obtiene un resultado llamado conclusión. Un razonamiento es valido si y
solamente si, la conjunción de las premisas implica la conclusión o la conclusión es consecuencia
de las premisas.
REGLAS DE INFERENCIA
1º Modus Ponendo Ponens (PP) 2º Modus Tollendo Tollens (TT)
p q p q
p q
q p
3° Modus Tollendo Ponens (TP) 4° Silogismo Hipotético (SH)

p q p q p q
p q q r
q p pr
5° Dilema constructivo (DC) 6° Dilema destructivo (DD)

p q r s
pr pr
q s q s
r s  p q
7°Ley de la simplificación (LS) 8° Ley de la Adición (LA)

p q p q p
p q p q

9° ley de la conjunción (LC)

p
q
p q

Ejemplos. Usando reglas de inferencia realiza las demostraciones

a. Demostrar  n b. Demostrar r  s
1) r   s p 1) c  d p
2) r p 2) c  d   f p
3)  s  q p 3)  f  a   b p
4) q   n p 4) a   b  r  s p

5
Carrera Ing. Informática Doc. Rosario Laura Mamani

c. Demostrar b
1)  g  e p
2) e  k p
3)  g p
4) k  l p
5)  l  m p
6) m  b p

Tarea. Realice una demostración formal

2. Demostrar y  z
1. Demostrar y  8  12
1) x  y  x  z p
1) x  8  12  x  4 p
2) x  y  x  z p
2) x  4  y  x p
3) x  z  y  z p
3) x  8  12  y  x  y  8  12 p
4) x  z  x  z p

6
Carrera Ing. Informática Doc. Rosario Laura Mamani