TALLER N.

º 1

I.- Simbolizar las siguientes proposiciones

1.- Si no estudias, no aprobarás el curso:

~p→~q = ~(~p)  ~q = p  ~q

P=si estudias q=aprobaras el curso

2.- 5 + 4 = 10 y 10 - 4 > 5:

p∧ q

p=5 + 4 =10 q=10 – 4 >5

3.- El cielo está nublado sin embargo hace calor:

p∧ q
p=el cielo esta nublado q=hace calor

4.- Es falso que, si un número en menor que cero, es positivo:

~(p → q) = ~ (~p  q) = p∧ ~q

P=un numero es menor que cero q=es positivo

II.- Construye la tabla de verdad de los siguientes esquemas lógicos
1.- ( p  ~p)  ~ q

P Q ~P ~Q (P  ~P) (P  ~P)→~Q
v v f f v f
v f f v v v
f v v f v f
f f v v v v

2.- p r ~q

P Q R ~Q P R P R↔~Q
v v v f v f
v v f f f v
v f v v v v
v f f v f f
f v v f f v
f v f f f v
f f v v f f
f f f v f f
3.- r~( p  q)

P Q R (P↔Q) ~(P↔Q) R ~(P↔Q)

v v v v f f
v v f v f f
v f v f v v
v f f f v f
f v v f v v
f v f f v f
f f v v f f
f f f v f f

4.~(p~ q)→[q (r↔q)]

P Q R ~Q (R↔Q) [Q (R↔Q)] (P~Q) ~(P~Q) ~(P~Q)→[Q (R↔Q)]

V V V F V V f v V
V V F F f V f v V
V F V V F f v f V
V F F V V V v f V
F V V F V V f v V
F V F F F V f v V
F F V V F f f v F
F F F V V V f v V
III.- Si el esquema lógico es falso ~(p ~q) r determine el valor de verdad de los siguientes esquemas lógicos :
ROSA MARÍA TIRADO RENGIFO 15