Calculo Logico

GUIA ESTUDIO

I.- Formalizar las proposiciones siguientes, utilizando los símbolos correspondientes a cada término de enlace.
1.En elhemisferio sur, julio no es un mes de verano.
2.Si dos pulsaciones se atraviesan, continúan conservando la forma original.
3.O Jaime noes puntual o Tomas llega tarde.
4.Ni Antonio ni Ana estudian en la universidad.
5.O Pedro es presidente y Juan es tesorero, o Jaime estesorero.
6.Si este cuadro es negro entonces aquel cuadro es rojo y su rey está sobre el cuadro rojo.
7.A la vez, si este cuadro esnegro, entonces, aquel cuadro es rojo y su rey está sobre el cuadro rojo.
8. Patinaremos sí y sólo si el hielo no es demasiado delgado.
II.- Formaliza las siguientes proposiciones y construye la tabla de verdad de cada una:
a. No es cierto que no me guste bailar
b. Me gustabailar y leer libros de ciencia ficción.
c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
d. Si y sólo siviera un marciano con mis propios ojos, creería que hay vida extraterrestre.
e. Una de dos: o salgo a dar un paseo, o me pongo a estudiarcomo un energúmeno.
f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que meinternaran en un psiquiátrico.
g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.