Ejercicios de Logica

3. Lenguaje de conjuntos. Tableaux

1. Sea el conjunto de situaciones U = {s1 , s2 , s3 } y la asignacion de

manera que (p) = {s3 }, (q) = {s2 , s3 }, (r) = {s1 , s3 }. Determnese
el valor para de cada una de las formulas indicadas a continuacion

a) ((p q) r)
b) (p r)
c) ((q r) (p r))

2. Dado el conjunto de situaciones U = {s1 , s2 , s3 , s4 } y que (p) =

{s1 , s2 }:

a) Que valdra (q), para que (p q) = ?

b) Que debe valer (r) para que (p r) = (p)?
c) Que debe valer (s) para que (p r) = (r)?

3. Mediante tablas semanticas, demuestrese que las siguientes formulas

son universalmente validas:

a) |= (p q r) (p (q r))
b) |= (p (q r)) ((p q) (p r))
c) |= (p q r) r p

4. Mediante el procedimiento de las tablas semanticas, demuestrese que

se dan las siguientes relaciones de consecuencia logica:

a) {p q r; q; r} |= p
b) {p; q r; p q} |= r
c) {p q r; r; p} |= q