Vous êtes sur la page 1sur 3

ISFD No : 109 Álgebra - 1o matemática

TRABAJO PRÁCTICO I
Conector Ejemplos de frases
Negación no p - es falso p - no es cierto p
p y q - p pero q - p sin embargo q - p no obstante q - p
Conjunción
a pesar de q
Disyunción o p o q o ambos - al menos p o q - como mínimo p o q
si p entonces q - p sólo si q - q si p - q cuando p - q es
Condicional necesario para p - para p es necesario q - p es suciente
para q - para q es suciente p - no p a menos que q
Doble implicación p es necesario y suciente para q - p si y sólo si q

1. Hallar las tablas de verdad correspondientes a las siguientes formas proposicionales.

a ) p ∧ ¬q
b ) ¬q ∨ p
c ) ¬(p ∧ q)
d ) (p ∧ ¬q) ∧ p
e ) (p ∧ q) → r
f ) ¬(p ∨ q) → (¬p ∨ ¬q)
g ) (p → q) ↔ (¬p ∨ q)
h ) ((p → q) ∧ (¬q)) → (¬q)
i ) ((p → q) ∧ (p → q)) → (p → q)

2. Usa tablas de verdad para decidir cuáles de las siguientes son equivalencias lógicas:

a) p ↔ p
b ) p ↔ (p ∧ q)
c ) (p ∧ q) → (q ∧ p)
d ) ¬(p ∨ (¬q))
e ) (p → q) ↔ (¬p ∨ q)
f ) (p → (q ∧ r)) ∨ (¬p)
g ) (p ↔ q) ∧ (p ∧ (¬q))
h ) [(p → (q ∨ r))] ↔ [(p → q) ∨ (p → r)]
i ) (p → q) ↔ (¬p → ¬p)
j ) [(p ∧ q) → r] ↔ [p → (q → r)]
k ) [p ∧ (q ∨ r)] ↔ [(p ∧ q) ∨ (p ∧ r)]
l ) [p ∨ (q ∧ r)] ↔ [(p ∨ q) ∧ r]
ISFD No : 109 Álgebra - 1o matemática

3. Traducir las siguientes proposiciones a lenguaje simbólico.

a) No es justo, pero mantiene el orden

b) Los animales con pelo o que dan leche son mamíferos.

c) Los mamíferos que tienen pezuñas o que rumian son ungulados.

d) Los ungulados de cuello largo son jirafas.

e) Los ungulados con rayas negras son cebras

f) No es cierto que Juan habla francés e inglés

g) Tengo hambre, frío y no consigo un taxi.

h) Si las exportaciones disminuyen entonces bajarán las utilidades

i) Los precios son altos si y sólo sí los costos aumentan

j) Si la producción aumenta entonces bajarán los precios

k) Si aumenta la demanda esto implica que aumenta la oferta y viceversa

l) Si la contaminación aumenta entonces existirá restricción vehicular adicional

4. Sea p : Marta es prima de Pedro, q : Julián es primo de Marta, r : María es la novia


de Pedro y s : Julián está enamorado de Lucía. Suponiendo que: p es V , q es F , r es F
y s es V, averiguar el valor de verdad de los siguientes enunciados:

a) Marta es prima de Pedro y Julián está enamorado de Lucía.

b) Si María es la novia de Pedro y Marta es prima de Pedro, Julián es primo de Marta.

c) Si Julián es primo de Marta, María es la novia de Pedro y Marta es prima de Pedro.

5. Usando los datos proporcionados en cada caso, obtener el valor de verdad pedido:

a) Si se sabe que: p∧q es V y que r∧p es F, determinar el valor de verdad de:


(r ∨ q) → (r ∧ q)
b) Sabiendo que p→q es F, r ∧ p es F, determinar el de valor de verdad de:

p↔r
−[p ∧ (−r)]

6. Si la proposición ¬[(q → s) → (p → r)] es verdadera, y teniendo en cuenta la equivalencia


p → q ≡ ¬p ∨ q ; hallar el valor de verdad de las siguientes proposiciones:

a ) (¬s → ¬q)∨(r → p)
b ) (p ∧ q ∧ r ∧ s) ∨ (p ↔ r)

7. Si la proposición [(−p → q) ∨ ¬(r∨q)] ↔ [(r ∨ s) → t] es falsa, y siendo t verdadera. Hallar


el valor de verdad de las proposiciones p, q y r
ISFD No : 109 Álgebra - 1o matemática

8. Identicar las proposiciones simples, asignarles un nombre y escribir en símbolos la siguien-


te proposición compuesta:

a) Si no pago la luz, entonces me cortarán el servicio eléctrico. Pero si pago la luz,


entonces me quedaré sin dinero o pediré prestado. Aunque si me quedo sin dinero y
pido prestado, entonces no podré pagar la deuda, si y sólo si soy desorganizado.

b) Si ahorro podré comprar un coche o no, pero si no ahorro seguro que no podré
comprarlo.

c) "Si un dragón se enoja entonces te quedas paralizado del miedo. Y si te quedas


paralizado de miedo, el dragón te come; pero si apelas a su bondad no te come. Por
lo tanto, si un dragón se enoja debes apelar a su bondad"

9. Simplicar

a ) ¬{[(¬p) ∨ (¬q)] ∨ ¬q}


b ) (¬p ∨ q) ∨ (¬q ∨ ¬p)
c ) [¬(p ∨ q) → ¬(q → p)] ∧ (p ∨ q)
d ) {[(p → q) ↔ ¬q] ∧ ¬q}
e ) (p ∨ ¬p) ∧ [p ∧ (q ∨ p)]
f ) ¬[(p ∨ p) ↔ p]
g ) [(p ∨ ¬q) ∧ q] → p
h ) ¬[¬(p ∧ q) → ¬q] ∨ q
i ) [(¬p ∧ q) ↔ (r ∧ ¬r)] ∧ ¬q
j ) [(p → p) ∨ q] ∧ [¬q ∨ (r ∧ q)] ∧ [p → (p ∨ ¬q)]
k ) [(p ∧ q) → ¬r] ∨ [p → (q → ¬r)]
l ) p → (¬q → (p ∨ q))
m ) (¬q ↔ r) ∨ ¬r
n ) ¬[(¬p → q) ↔ ¬(p ∨ ¬q)]
ñ ) p ∧ [(p ∧ ¬p) → (p ∨ ¬q)]
o ) p ∨ [(q → ¬q) ∧ (p → ¬p)]

10. Probar que ¬p es equivalente con [(p ∨ q) → (¬p ∧ q)] ∧ (p → q)

11. Transformar la proposición: p → ¬(¬q → r) en otra equivalente que contenga sólo conec-
tivos ∧ y ¬