Matemática

Operadores Lógicos
Ejemplos:

1) Sean p, q y r proposiciones tales que p = V, q = F y r = F. Indica cuáles de las

siguientes proposiciones son verdaderas:

a) (p ∨ q) ∨ (r ∧ x)

b) ~ p ∨ (q ∧ t)

c) [ (p ∧ q) ∨ (~ p ∧ ~ q)] ∧ [ (~ p ∧ q) ∨ (~ q ∧ p)]

d) (~ p ∨ q) ∧ (w ∨ ~ t) ∧ (y ∨ z)

Solución:

a) b)

p q r x pq  rx p q t p  q t

V F F V V V F V F V F F F

c) d)

p q pq  pq  pq  qp p q w t y z pq  wt  yz

V F F F F F F V V V F V F V F F F V V V

2) Si la proposición: (p ⮳ ~q) v (~r ⮳ s) es falsa. Halla el valor de verdad de las

siguientes proposiciones:

a) (~ p ∧ ~ q) ∨ (~ q∨ ~ x)

b) (~r ∨ q ∨ w) ↔ [ (−q ∨ r) ∧ s]

c) (p →q) → [ (p ∨ q) ∧ ~ q]

Solución:

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
(p ⮳ ~q) v (~r ⮳ s) p= V r=F
F F q=V s=F

a)
p q x p  q  q  x

V V F F V V

b)

r q w s rqw  -q  r  s

F V V V V F F F F

c) p q pq  pq  q

V V V F V F F

3) Si el valor de verdad de p  q es verdadero ¿puede determinar el valor de verdad de 

p  (p  q) ? p=Vq=V

 p  (p  q) = V
F V

4) Si el valor de verdad de (p  q)  p es falso ¿puede determinar el valor de verdad de q?

(p  q)  p q=V
V F

5) Si p  q es verdadero ¿se puede determinar el valor de verdad de (p  q)  (p  q) ?

(p  q)  (p  q) = F p=V q=F
F V

6) Si p  q es verdadero ¿se puede determinar el valor de verdad de (p  q) (p  q)

(p  q)  (p  q) = V p=F q=V
F F

7) Halle el valor de verdad de (p  q)  (q  p) si q es verdad

(p  q)  (q  p) = V
F V

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
8) Halle el valor de verdad de (p  q)  (p  q) si q es verdad

(p  q)  (p  q) = F

V F

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
PRACTICA CALIFICADA N° 01
1. ¿De las siguientes alternativas cuál no es una proposición lógica?

a. El Perú limita por el norte con Ecuador

b. - 26
c. El Océano Pacifico es una maravilla.
d. El Lago Titicaca pertenece Bolivia y Perú.

2. ¿Cuál de las siguientes oraciones es una proposición lógica?

a. ¿Cuánto cuestan estos muebles?

b. Tres más tres es igual a nueve.
c. ¡Qué excelente inteligencia tiene Coco!
d. "Mi alma no se contenta con haberla perdido”

3. Si: (p ∧ ~ q) → r; es falsa, determinar los valores de verdad de "p", "q" y "r".

a) VVF b) VFF c) VVV d) VFV e) FFF

4. Indicar si cada una de las oraciones siguientes son o no son proposiciones:

(V) Euclides es el padre de la Aritmética

(V) Cienciano es campeón de la Copa Libertadores.
(F) ¡Estudia!
(F) ¿Qué es Aritmética?

5. ¿Cuáles de las siguientes oraciones son proposiciones lógicas?

A. ¡Hoy es un día maravilloso!

B. Cierren sus cuadernos, ahora.
C. A buen entendedor pocas palabras.
D. ¿Pasarás de año?

A) A y B  B) B y C C) A y D D) Todas E) Ninguna.

6. Determinar el valor de verdad de las siguientes proposiciones:

(F) –2 > -1
(F) 15 = 13
(V) 6 es divisor de 96
(F) 1121 es divisible por 11

A) VVVF B) VVFF C) FFVF D) FVFV E) VFVF

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
7. Señale lo correcto:
a. Toda oración es proposición.
b. Toda proposición es afirmativa.
c. Ninguna exclamación es proposición.
d. Las proposiciones son válidas o invalidas.
e. Ninguna proposición es negativa.

8. De las siguientes oraciones proposicionales indicar cuáles son proposiciones simples (S) y
compuestas (C):
(S) Pitágoras fue un filósofo griego.
(C) Si: x2 + y2 = 9, entonces x + y = 3
(C) No es cierto que x0 = 1
(C) 9 es mayor que 5 o 9 es menor que 3

9. En la lógica proposicional, las proposiciones simples, se representan mediante:

A. Variables proposicionales.
B. Formas gramaticales.
C. Abreviaturas lógicas.
D. Signos de colección.
E. Signos de agrupación.

10. Simbolizar: “Es imposible que Juan no estudie”.

A) ~ (~ p)B) ~p C) p D) ~ ~ p E) ~ p ~

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática

TAUTOLOGIA/ CONTINGENCIA/
CONTRADICCION
Ejercicios

a) [(p ⇒ q) ∧ p] ⇒ q

p q pq  p  q

V V V V V V V

V F F F V F F

F V V F F V V

F F V F F V F

b) [(p ⇒ q) ∧ (∼ p)] ⇒∼ p
p q pq  p  p

V V F F V F
V
F F F F V F
V
V V F V V V
F
F V V V V V
F

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
c) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
p q r pq  qr  pr
V V V V V V V
V
V F V F F V F
V
V V V V V V V
V
V F V F F V F
V
F V V F F V V
F
F F V V V V F
F
e) F f) V g) V h) F i) F j) V k) V
d) F
F F V V V V F
F

d) [ (p ∧ q) ∨ (~ p ∧ ~ q)] ∧ [ (~ p ∧ q) ∨ (~ q ∧ p)]
p Q pq  pq  pq  qp
V V V V F F F F
V
F F V F F V V V
V
V V V V F F F F
V
F F V F F V V V
V
V F V F F V V V
F
F V V V F F F F
F
V F V F F V V V
F
F V V V F F F F
F

Computación e Informática De La Cruz Roldan Mariana Isabel

 Matemática
e) (~ p ∧ ~ q) ∨ (~ q∨ ~ x)
P Q x pq  qx
V V V V F
V
V F V V V
V
F V V V V
F
F F V V V
F

f) (r ∧ s) v ~ s
R s rs  s
V V F F
V
F F F V
V
V F V F
F
F V F V
F

g) [(p ∧ (~ q)] ∧ q

p q p  q  q

V V V F F F V

V F V V V F F

F V F V F F V

F F F F V F F

Computación e Informática De La Cruz Roldan Mariana Isabel