LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL PROPOSICIÓN

• Es una parte de la • Es todo enunciado al que se

lógica matemática, le puede asignar un valor
de verdad.
llamada también
«lógica de las Clases de proposiciones:
proposiciones sin
analizar». • Proposición simple: es
• Estudia las relaciones aquella que no está
entre las relacionada con otras
proposiciones proposiciones.
mediante la conexión
• Proposición compuesta:
lógica de estas. es aquella que se forma por
• Trata de la verdad o dos o más proposiciones
falsedad de una o unidas por los conectores
varias proposiciones. 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 DISYUNCIÓN INCLUSIVA

Si p y q son proposiciones, Si p y q son proposiciones,

se llama conjunción de p y q se llama disyunción de p y q
a la proposición compuesta a la proposición compuesta
“p y q “ y se denota por: “p o q” y se denota por:
pq 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
denota por:
por:
p↔q ~p

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 de siguiente proposición compuesta:
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)
Solución:
Solució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
V. (V  V)  V  V  V  V F F V F F V V F F
VI. (F  F)  (F  V)  F  F  F Es una contingencia.

Rpta.: FVF Rpta.: Contingencia

3. Simplifica la siguiente proposición 4. Indica la proposición compuesta que
compuesta: resulta del siguiente circuito lógico:
(q  p) (p  q) v (p  q) (q  p) (p  q) v (p  q)

Solución: Solució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) Sabemos que:

  p v q Circuito en serie: p  q

Circuito en paralelo: p v q
  (p)   (q)
Luego, la proposición compuesta es:
 p q (p v  q)  (p v q) v p  r

Rpta.: p  q Rpta.: (p v  q)  (p v q) v p  r