ARITMÉTICA

LÓGICA
PROPOSICIONAL

DOCENTE: JORGE CHEVEZ VILLEGAS

LÓGICA PROPOSICIONAL
 LÓGICA PROPOSICIONAL PROPOSICIÓN

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

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

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

llama conjunción de p y q a la llama disyunción de p y q a la
proposición compuesta “p y q” proposición compuesta “p o q”
y se denota por: y se denota por:
pq pq
 DISYUNCIÓN EXCLUSIVA CONDICIONAL

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

llama disyunción exclusiva de p llama condicional de p y q a la
y q a la proposición compuesta proposición compuesta “si p,
“o p o q” y se denota por: entonces q” y se denota por:
pΔq 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, se Si p es una proposición,

llama bicondicional de p y q a la entonces “no p” es la
proposición compuesta “ p, si y
negación de p y se denota
solo sí q” y se denota por:
p↔q
por:
~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 falsa, 2. Elabora la tabla de verdad de la siguiente

determina el valor de verdad de las siguientes proposición compuesta:
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
F V V V V F F F F
Luego:
I. F v (V  F)  F v F  F F F V F F V V F F
II. (V  V)  V  V  V  V
III. (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 resulta
compuesta: del siguiente circuito lógico:
(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)

Sabemos que:
  (p  q) v p  v q)
Circuito en serie: p  q
  p v q Circuito en paralelo: p v q

  (p)   (q) Luego, la proposición compuesta es:

(p v  q)  (p v q) v p  r
 p q

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

Rpta.: p  q
5. Simplifica la siguiente proposición 6. Si se conoce que: (q  ~r)  p es falsa,
compuesta: hallar el valor de verdad de:
(p  q) (q  p)  p (~r v ~p)  (p  ~q)

Solución: Solución:
Sabemos que: p  q  p v q Como: (q  ~r)  p es falsa, el
antecedente debe ser verdadero y el
(p  q) (q  p)  p consecuente falso.

  (p  q) v (q  p)  p (condicional)

 (p v  q) v ( q v p)  p
(De Morgan y condicional)
Se deduce que:
 (p v  q) v (p v  q )  p (conmutativa)

 (p v  q)  p (Idempotencia) Colocamos los valores de verdad de p, q y r

debajo del esquema cuyo valor de verdad
 p  (p v  q) (conmutativa) queremos hallar.

 p (absorción)

Rpta.: Operando con las variables y los

conectivos se deduce que el valor de verdad
buscado es “F”
Rpta.: p
7 . Simplifica el circuito mostrado e indica la proposición más
simple que lo representa.

Solución:
p  (q v r) 
(p  q) v(pr)

p v p  V
Vpp
8 .Indica la proposición más simple que representa al circuito lógico
mostrado.

Solución:
p  (p v q)  p

p v (q  r) 
(p v q) (p v r)

p v p  V
Vpp