EXPERIENCIA CURRICULAR HABILIDADES LGICO - MATEMTICAS

GUA PRCTICA SESIN 02

FORMALIZACIN Y VERDAD FORMAL

LGICA PROPOSICIONAL Y VERDAD FORMAL

I. Formaliza los siguientes esquemas moleculares, halla su respectiva tabla de verdad e indica el nombre que reciben: 1) Soy responsable porque estudio y trabajo. 2) O soy buen deportista o estoy orgulloso de m mismo. entonces no soy buen deportista. 3) Luis juega, ya que Rolando duerme y Janet estudia. 4) No es cierto que, Germn baila y Olga no est en la fiesta. 5) Si llueve al medioda, la ropa no est seca, y si no llueve al medioda entonces vas a la fiesta; por lo tanto si la ropa est seca, no vas a la fiesta. Pero, si estudio intensamente

I.

Evala la TABLA DE VERDAD de los siguientes esquemas moleculares. 1) 2)

( p q ) ( p q )
1

3)

( p q ) ( p q )
( p q) ( q p)

4)

5)

{ ( p q ) ( q r )} ( p r )
[ p ( q r ) ]

6)

7)

( p q ) (q p ) ( p q) ( q p)

8)

9)

[ ( p q ) ( r q ) ] p

10)

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

11)

12)

I.

Lee cuidadosamente y resuelve los siguientes ejercicios 1) Si p,q,r,s,t,w, son proposiciones cualesquiera tales que:

(p v ~r)(sw) es verdadero y
de verdad de las siguientes proposiciones:

~w~s es falsa, hallar el valor

a)
2)

[(p q) V r]V s

b) (s~w)(r V ~p)

Halla el valor de verdad de las proposiciones p, q, r, s sabiendo que:

es falsa.

(
3)

) q

s
es falso, establecer el valor de verdad

Si el esquema

( p q ) ( r s ) ( p s )
de:

a.

b.

p (q p )

( r s ) (q p)

c.

s [ (q p ) r ]

4)

Si la proposicin

( p q ) ( r s)
.

es falsa, hallar el valor de verdad de:

p [ ( s p ) r ]
5) Dado el esquema

( p q ) ( s r )
. Luego hallar

falso. Determinar el valor de verdad de las

Variables

p, q, r y s

( p q ) [ ( rs ) p ]

5)

Si s y t son proposiciones: falsa y verdadera respectivamente, seala cules de las siguientes proposiciones son verdaderas:

a)

p ( s t) p ( t s)

b)

( p s) t
d)

c)

s ( p t)

5) Si el siguiente esquema

es falso. Halla el valor de verdad de los siguientes

( p q) p
esquemas moleculares.

a)

b)

( p q) p

p ( q p)

5) Dado el siguiente esquema:

{ [ ( p q ) r ] s} ( p s )

se conoce que es falso,

seale el valor de p, q, r y s.

6) Si el esquema:

( p q) r

es falso, seale el valor de verdad de las siguientes

expresiones:

a)

p ( q r ) s ( p q )

b)

( p q) ( qr )

5) Si s y el esquema

son verdaderos, indique los valores de verdad de los

siguientes esquemas:

a)

( p q ) ( p q ) s

b)

c)

s ( q p)
(p V q) (p

5) Si p es verdadera determina el valor de verdad de: ~ p

6) Si p es verdadera y q es falsa, determina el valor de verdad de: ~ p

q)
(p

7) Si p es verdadera y q es falsa, determina el valor de verdad de: ( p V q)

8) Si p es verdadera y q es falsa, determina el valor de verdad de: ( pV ~ q) ( ~p V q)

q)

9) Si p es verdadera y q es falsa, determina el valor de verdad de: (p

q) ( q

q)