B.

RESPONDA CON CLARIDAD A CADA UNA DE LAS SIGUIENTE

PREGUNTAS.
1. Qu diferencia hay entre proposicin simple y compuesta?
La proposicin simple, es la que est formada por un sujeto y un solo predicado, no puede
descomponerse en otras proposiciones ms sencillas.
La proposicin compuesta, es la que est formada por dos o ms proposiciones simples, las
cuales estn unidas por conectivos lgicos.
2. Explique: cundo no es una proposicin?
No es una proposicin cuando, son opiniones o suposiciones, cuando se hace referencia a
proverbios, modismos y refranes, preguntas, oraciones exclamativas, dubitativas,
operaciones aritmticas que contengan variables.

3. Escriba junto a cada conectivo lgico su denotacin y su representacin

SIMBOLO DENOTACION REPRESENTACION
Bicondicional ... si y slo si ...

Condicional Si..., entonces.

Conjuncin Negativa Ni, ni.

Disyuncin O

Disyuncin Exclusiva Pero no ambos

Conjuncin Y

Negacin No

4. Dada la proposicin directa P Q. Escriba la proposicin:

a. Inversa: ~ P ~ Q
b. Recproca: Q P
c. Contrarrecproca: ~ Q ~ P
5. Dado las proposiciones simples:
P: Pedro consigue la visa
Q: Viajar a los Estados Unidos
Escriba en lenguaje simblico la siguiente proposicin compuesta:
Si Pedro no consigue la visa entonces no viajar a los Estados Unidos: ~ P~Q
Luego, de escribir el lenguaje simblico, realice la tabla de verdad.

P Q ~P ~Q ~ P~Q
V V F F V
V F F V V
F V V F F
F F V V V

C. CONTESTE

6. Qu es una tautologa?
Es una frmula bien formada que resulta verdadera para cualquier interpretacin; es decir,
para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas, otra
definicin puede ser que un esquema es tautolgico cuando los valores de verdad del
operador principal son todos verdaderos.

7. Qu es una contradiccin?
Un esquema A es una contradiccin cuando todos los valores del operador de mayor
jerarqua son falsos.

8. A qu llamamos equivalencia lgica?

Decimos que dos proposiciones son equivalentes, cuando ambas proposiciones tienen el
mismo valor lgico, es decir, cuando las dos proposiciones tienen la misma tabla de valores
de verdad, y unidas con el conectivo Bicondicional () o ( ) obtenemos una tautologa.
9. Qu diferencia hay entre cuantificador universal y cuantificador existencial?
En el cuantificador universal se utiliza la expresin Para todo x: (significa para todo)
En el cuantificador existencial se utiliza la expresin Existe un x: (significa existe)

10. Realizar la tabla de verdad de los siguientes esquemas moleculares y diga si es una
tautologa o una contradiccin:
a)
P Q ~P ~Q (~ Q ~ P ) (~ Q ~ P ) Q
V V F F F F
V F F V V F
F V V F V V
F F V V V F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
b)
P Q ~P ~Q ~P~Q ~(~P~Q)
V V F F F V
V F F V F V
F V V F F V
F F V V V F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
c)
P Q QP
V V V
V F V
F V V
F F F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
d)
P Q ~P ~Q ~Q~P
V V F F F
V F F V F
F V V F F
F F V V V

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
e)
P Q ~P ~Q PQ ~PQ ( P Q ) (~ P Q )
V V F F F F F
V F F V F F F
F V V F F V V
F F V V V F V

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
f)
P Q ~P ~Q ~P~Q ~ (~ P ~ Q ) P ~ (~ P ~ Q )
V V F F F V F
V F F V V F V
F V V F V F F
F F V V V F F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
g)
P Q ~P Q~P
V V F F
V F F V
F V V F
F F V F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
h)
P ~P ~PP
V F V
V F V
F V V
F V V

Es una tautologa porque todos los valores son todos verdaderos.

i)
P Q PQ (PQ)Q
V V F V
V F F V
F V F V
F F V F

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
j)
P Q ~P PQ ~PQ ( P Q ) (~ P Q )
V V F F V F
V F F F F F
F V V F F F
F F V V V V

No es una tautologa ya que los valores no son todos verdaderos y tampoco una
contradiccin debido a que no todos los valores son falsos.
11. S p: los claveles son rojos, q: las rosas son blancas, r: los lirios son azules,
encuentre el Valor de verdad de las siguientes proposiciones:

1. p (~q r) (~pq)

p q r ~q ~p (~qvr) p(~qvr) (~pq) p (~q r) (~pq)

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

2. (p q) (r ~p)

p q r ~p (p q) (r ~p) (p q) (r ~p)
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

3. (~ p r) (q ~ r)

p q r ~p ~r (~ p r) (q ~ r) (~ p r) (q ~ r)
V V V F F F F V
V V F F V V V V
V F V F F F F V
V F F F V V F F
F V V V F F F V
F V F V V F V V
F F V V F F F V
F F F V v F F V
4. (~ rp) ~ (p q)

p q r ~r (~ rp) (p q) ~ (p q) (~ rp) ~ (p q)
V V V F V V F F
V V F V V V F F
V F V F V F V V
V F F V V F V V
F V V F F F V V
F V F V V F V V
F F V F F F V V
F F F V V F V V

5. [(q p) (~ p q)] (~ r~q)

p q r ~p ~q ~r (q p) (~ p q) [(q p) (~ p q)] (~ r~q) [(q p) (~ p q)]

(~ r~q)
V V V F F F F F V F F
V V F F F V F F V V V
V F V F V F F F V V V
V F F F V V F F V V V
F V V V F F F V F F V
F V F V F V F V F V V
F F V V V F V F F V V
F F F v v v V F f V V

12. Niegue las siguientes proposiciones:

QR: si Carlos es hijo de Juan, entonces sabe ajedrez.

Q~R: Carlos es hijo de Juan y NO sabe jugar ajedrez.

Q R QR
V V V
V F F
F V V
F F V
~Qv~R: Ni las rosas son blancas, ni los claveles son rojos.

QvR: Las rosas son blancas o los claveles son rojos.

Q R ~Q ~R ~Qv~R
V V F F F
V F F V V
F V V F V
F F V V V

R^Q: Mnica asiste a clases y atiene a su maestra.

~ (RvQ): Mnica NO asiste a clases o NO atiende a su maestra.

R Q ~R ~Q ~(R^Q)
V V F F F
V F F V F
F V V F F
F F V V V

P Q: La TV es constructiva si se la ve moderadamente.

~ (P Q): La TV NO es constructiva si NO se le ve moderadamente.

P Q ~P ~Q ~ (P Q)
V V F F V
V F F V F
F V V F F
F F V V V