UNIVERSIDAD NACIONAL DE LA RIOJA

Trabajo practico n°2

Carrera:

Profesores:

Integrantes:

Año: 2019

Ejercicio N°1
Simbolizar las siguientes proposiciones dadas:
a. No vi la película, pero leí la novela. ¬p^q
b. No vi la novela y no lei el libro. ¬p ^ ¬q
c. Está lloviendo y nevando o está corriendo viento. (p^q) v R
Ejercicio N°2

A) (¬p v p)

P ¬P (¬PvP)

F V V

V F V

B) (p v q)↔~(r v s)v(p v q)
p q r s (pvq) (rvs) ¬rvs ¬(rvs)v(pvq) TODO
V V V V V V F V V
V V V F V V F V V
V V F V V V F V V
V V F F V F V V V
V F V V V V F V V
V F V F V V F V V
V F F V V V F V V
V F F F V F V V V
F V V V V V F V V
F V V F V V F V V
F V F V V V F V V
F V F F V F V V V
F F V V F V F F V
F F V F F V F F V
F F F V F V F F V
F F F F F F V V F

C) r ^ p→(p v q)
 p q r r^p pvq TODO
V V V V V V
V V F F V V
V F V V V V
V F F F V V
F V V F V V
F V F F V V
F F V F F V
F F F F F V

D) (p ^ q) →¬q

p q (p^q) ¬q (p^q)->¬q
V V V F F
V F F V V
F V F F V
F F F V V

E) ¬(p ^ q)v ¬q

p q (p^q) ¬(p^q) ¬q TODO

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

F) [(p v q) v r] ^ (¬p ^ q)

p q r (p v q) [(p v q) v r] ¬p (¬p^q) TODO

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

G) (p → q) ^ ¬r ↔ (¬p ^ q)
p q r p -> q ¬r (p->q)^¬r ¬p (¬p^q) Todo
V V V V F F F F V
V V F V V V F F F
V F V F F F F F V
V F F F V F F F V
F V V V F F V V F
F V F V V V V V V
F F V V F F V F V
F F F V V V V F F

H) [(p v q) ^ ¬p)] → (¬q ^ r)

p q r (p v q) ¬p ((pv q) ^ ¬p) ¬q ((¬q)^r) Todo

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

I) (p ^ q) → (p v q)

p q (p ^ q) (p v q) Todo
V V V V V
V F F V V
F V F V V
F F F F V

J) (p ^ q) → (s ^ r)
p q s r (p^q) (s^r) Todo
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
 K) ¬(p  q)  [(p ^ r) v (¬p ^ ¬m)]

p q r m (p <=> q) ¬(P <=> Q) (P ^ R) ¬P ¬M (¬p^¬m) (P^R)v(¬p^¬m) TODO

V V V V V F V F F F V F
V V V F V F V F V F V F
V V F V V F F F F F F V
V V F F V F F F V F F V
V F V V V F V F F F V F
V F V F V F V F V F V F
V F F V V F F F F F F V
V F F F V F F F V F F V
F V V V F V F V F F F F
F V V F F V F V V V V V
F V F V F V F V F F F F
F V F F F V F V V V V V
F F V V V F F V F F F V
F F V F V F F V V V V F
F F F V V F F V F F F V
F F F F V F F V V V V F
L) (p ^ q) → (r v ¬q)

p q r ¬q (P^Q) (r v ¬q) TODO

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

M) (¬p ^ q) -> (r ^ ¬s).

 p q r s ¬p (¬p ^ q) ¬s (r^ ¬s) TODO
V V V V F F F F V
V V V F F F V V V
V V F V F F F F V
V V F F F F V F V
V F V V F F F F V
V F V F F F V V V
V F F V F F F F V
V F F F F F V F V
F V V V V V F F F
F V V F V V V V V
F V F V V V F F F
F V F F V V V F F
F F V V V F F F V
F F V F V F V V V
F F F V V F F F V
F F F F V F V F V

N) [p→ (q→ r)] → [(p→ q) → (p→ r)]

r (q→r) (p→(q→r)) (p→q) (p→r) (p→q)→(p→r) TODO

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

O) [p→ (q v r)] v (r→¬p)

p q r (q v r) p→((q v r) ¬P r→(¬p) TODO

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

P) ¬ (¬p v q) V (r→¬s)
 s ¬p (¬p v q) ¬(¬pvq) ¬s r→¬s TODO
V F V F F F F
F F V F V V V
V F V F F V V
F F V F V V V
V F F V F F V
F F F V V V V
V F F V F V V
F F F V V V V
V V V F F F F

Q) [(p v q) ^ (q→ r) ^ (r→ ¬p)] → (p↔¬s)

P Q R S (p v q) q→ r (p v q)^ (q→ r) ¬p r→ ¬p (pvq)^(q→r)^(r→ ¬p) ¬s p↔¬s TODO

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

Ejercicio N°3
Enlaza cada preposición con su equivalente simbólico

P= llueve q= Hay sol

a. Llueve y hay sol 1. ¬p ∧ q

b. Llueve y no hay sol 2. P ∨ q
c. Llueve o hay sol 3. P ∧ q
d. No llueve y hay sol 4. Q ↔ ¬ p
e. Hará sol si o solo si, no llueve 5. P ∧ ¬ q

Ejercicio N°4

Considerar las siguientes proposiciones

P- Paola está feliz

q- Paola pinta un cuadro
r- Renzo está feliz

Formalizar las siguientes sentencias

Paola está feliz y pinta un cuadro entonces Renzo no está feliz: (p ∧ q) →¬ r

 p q r (p^q) ¬r TODO
V V V V F F
V V F V V V
V F V F F V
V F F F V V
F V V F F V
F V F F V V
F F V F F V
F F F F V V

Paola está feliz entonces ella pinta un cuadro: p → q

p q p→q
V V V
V F F
F V V
F F V

Ejercicio N°5
Dadas las siguientes proposiciones

P: Aldo es italiano
Q: Bob es ingles

Formalizar las siguientes sentencias

Aldo es italiano entonces Bob no es inglés: p → ¬ p

Aldo es italiano o si Aldo no es italiano entonces Bob no es inglés: p ∨ (¬p → ¬ q)

Aldo es italiano y Bob inglés, o ni Aldo es italiano y ni Bob es inglés: (p ∧ q) ∨ (¬p ∧ ¬ q)