ARITMÉTICA

LÓGICA PROPOSICIONAL II

DESARROLLO DEL TEMA

I. CUANTIFICADORES Ejemplo:

Sea f(x): x2 – 5 < 8, donde: x  Z , la proposición:

A. Cuantificador Universal
Sea la función proposicional f(x) sobre un conjunto  x  Z  / x 2  5  8 es verdadera:
A, el cuantificador  ("para todo") indica que todos
los valores del conjunto A hacen que la función
II. CIRCUITOS LÓGICOS
proposicional f(x) sea verdadera.
Un circuito conmutador puede estar solamente en dos
estados estables: cerrado o abierto, así como una
 se lee: “Para todo” proposición puede ser verdadera o falsa, entonces po-
demos representar una proposición utilizando un circuito
lógico:
Ejemplo:
Sea f(x): x3 + 2 > 5 donde x  N.
A. Circuito serie
La proposición cuantificada es:
Dos interruptores conectados en serie representan
 x  N ; x 3  2  5 es falsa.
una conjunción.
p q   pq
B. Cuantificador existencial
Sea f(x) una función proposicional sobre un conjunto
B. Circuito Paralelo
A el cuantificador  (existe algún) indica que para
algún valor del conjunto A, la función proposicional Dos interruptores conectados en paralelo repre-
f(x) es verdadera. sentan una disyunción.
p
  pq
 se lee: “Existe algún”
q

problemas resueltos

Problema 1
I. Si (p  q)  r y (p  q)  r s on III. S i (p  q)  r y  r  q s o n
Sean p, q, r proposiciones lógicas. proposiciones falsas, entonces p es
v erdad eras, en to n ces r es
Señale la alternativa que presenta la verdadera.
s ecu en cia co rrect a, d es p ués d e verdadera. A) VV V B) VVF
determinar si la afirmación es verdadera II. p  q y p   q son proposiciones C) VFF D) FVF
(V) o falsa (F). equivalentes. E) FFF

UNI SEMESTRAL 2013 - III 87 ARITMÉTICA TEMA 29

 LÓGICA PROPOSICIONAL II
Exigimos más!
Resolución: Problema 2 Conclusión y respuesta
Ubicación de incógnita Sean p, q, r proposiciones lógicas. I. F II. F III. V
S e d eb e d etermi nar l o s v al o res Señale la alternativa que presenta la
veritativos de las proposiciones I, II y s ecu en ci a co rrect a d es p ués d e Respuesta: D) FFV
III. d et erm in ar s i la pro po s ició n es
verdadera (V) o falsa (F). Problema 3
Análisis de los datos o gráficos I. p  q  r  p   q  r  Si la proposición:
I.  p  q  r  v  y  p  q   r  v   r  v
II. p  q  p  q (p   q)  (r   s)
II.  p  q  p   q
III. q   p  q   (q  p) es falsa. El valor de verdad de p, q, r, s
III.  p  q  r  F     r  q  F    p  v (en ese orden) es:
A) VV V B) VFV
A) FFVV B) FVVF
Operación del problema C) FVF D) FFV C) VFVF D) VVFF
Con la proposición I. E) FFF E) FVFF
Analizamos por el absurdo: r  F

 p  q  F  V  Resolución: Resolución:
 Ubicación de incógnita
 p  q   F  V  Ubicación de incógnita
Halle el valor de verdad de p, q, r, s
Indique verdadero (V) o falso (F) (en ese orden).
Se contradice, no puede ser ambas
verdaderas.
r   Operación del problema Análisis de los datos o gráficos
I. V
I. (p  q)  r  p  (q  r) (p   q)  (r   s)  F
Con la proposición II.
Fal s o. No se cu m pl e la
p  q  p  q, la cual es la negación asociatividad. Operación del problema
de p  ∼ q
II. F II. (p
 q)  p  q

 (p   q)  (r   s ) F
Con la proposición III.  p  q  p ...ley de la condicional V
  
  r  q  F  r  F  q  F p
( p)  q ...ley asociativa

V F
Luego:  
v

q
 p  q   r  p  F   F (falso)
V V F
entonces p  F
Conclusiones y respuesta
III. F
III. q  (p
 
q)  (q  p) Se deduce: r  V
sV
Conclusiones y respuesta q  (  p  q)... ley de la condicional entre p y  q al menos 1 debe ser una
I. V verdadera.
q  p... ley de absorción
II. F
Rpta: p ; q ; r ; s
III. F  ( q  p) ... ley de Morgan
F F V V
 (q  p)... ley de la condicional
Respuesta: C) VFF Respuesta: A) FFVV
(verdadero)

UNI SEMESTRAL 2013 - III 88 ARITMÉTICA TEMA 29