LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL PROPOSICIÓN

• Es una parte de la lógica • Es todo enunciado al que

matemática, llamada se le puede asignar un
también «lógica de las valor de verdad.
proposiciones sin
analizar». Clases de proposiciones:
• Proposición simple: es
• Estudia las relaciones aquella que no está
entre las proposiciones relacionada con otras
mediante la conexión proposiciones.
lógica de estas.
• Proposición compuesta:
• Trata de la verdad o es aquella que se forma
falsedad de una o varias por dos o más
proposiciones. proposiciones unidas por
los conectores lógicos.
 CONECTORES LÓGICOS
Son símbolos que unen dos o más proposiciones
simples para formar una proposición compuesta.

Los conectores lógicos son:

 CONJUNCIÓN
Si p y q son proposiciones,
se llama conjunción de p y q
a la proposición compuesta
“p y q “ y se denota por:
pq
DISYUNCIÓN INCLUSIVA
Si p y q son proposiciones, se
llama disyunción de p y q a la
proposición compuesta “p o
q” y se denota por:
pq
 DISYUNCIÓN
EXCLUSIVA
Si p y q son proposiciones,
se llama disyunción exclusiva
de p y q a la proposición
compuesta “o p o q” y se
denota por:
pΔq
CONDICIONAL
Si p y q son proposiciones,
se llama condicional de p y q
a la proposición compuesta
“si p, entonces q” y se denota
por:
pq

p q pΔq p q p→q
V V F V V V
V F V V F F
F V V F V V
F F F F F V
 BICONDICIONAL NEGACIÓN
Si p y q son proposiciones, Si p es una proposición,
se llama bicondicional de p y entonces “no p” es la
q a la proposición compuesta negación de p y se denota
“ p, si y solo sí q” y se por:
denota por: ~p
p↔q
p q p↔q
V V V
V F F
F V F
F F V
LEYES DE LA LOGICA PROPOSICIONAL
 CIRCUITOS LÓGICOS

Los circuitos lógicos se utilizan para adoptar decisiones

específicas de «verdadero - falso» sobre la base de la
presencia de múltiples señales de «verdadero-falso» en
las entradas.
 EJERCICIOS
1. Si la proposición (p   q)   r es 2. Elabora la tabla de verdad de la
falsa, determina el valor de verdad siguiente proposición compuesta:
de las siguientes proposiciones: ( p  q)  ( q  p)
I.  p v (r  q) Luego, indica si es una tautología,
II. ( q  p)   q contradicción o contingencia.
III. (q   r)  ( r  p)
Resolución:
Resolución: 2 proposiciones: p y q
Partimos de:
(p   q)   r F p q (p  q)  (q  p)
V F V V F V V F F F V

pqV r F
V F F V F V V V V
pV;qF rV

Luego:
F V V V V F F F F
IV. F v (V  F)  F v F  F F F V F F V V F F
V. (V  V)  V  V  V  V
VI. (F  F)  (F  V)  F  F  F Es una contingencia.

Rpta.: FVF Rpta.: Contingencia

3. Simplifica la siguiente
proposición compuesta:
(q  p) (p  q) v (p  q)
Resolución:
Sabemos que: p  q  p v q
  (q v p)  (p v q) v (p v q)
  (q v p)  ( p  q) v (p v q)
  (q v p)   p)  q v (p v q)
  p  q v (p v q)
  (p  q) v p  v q)
  p v q
  (p)   (q)
 p q
Rpta.: p  q
4. Indica la proposición compuesta
que resulta del siguiente circuito
lógico:
(q  p) (p  q) v (p  q)
Resolución:
Sabemos que:
Circuito en serie: p  q
Circuito en paralelo: p v q
Luego, la proposición compuesta es:
(p v  q)  (p v q) v p  r
Rpta.: (p v  q)  (p v q) v p  r