Ejemplo de prueba Lógica para la Informática

1) Proposición:
a) Definición:
b) Clasificar las siguientes proposiciones en atómicas o moleculares. Justificar
la respuesta.
1) Hoy es martes 13 de febrero de 2023
2) No vi la película, pero leí el libro
3) Si en marte no hay agua, no hay vida

2)
a) Definir tautologia, contradiccion y Contingencia
b) Realizando la tabla de verdad, clasificar las siguientes:
1) p v p --> r
2) p v (q --> r)

3)
A)Determinar si el siguiente razonamiento sin utilizar tablas de verdad
Si hace mucho frío, me bajan las defensas.
Si hace mucho frío, me engripo.
_________________________________________
Si me bajan las defensas, me engripo

B) Determinar la conclusión del siguiente razonamiento para que sea válido.

Si tomo sol, entonces me pongo protector solar.
Si me pongo protector, me bronceo responsablemente.
__________________________________________________

4)
Describa las siguientes compuertas y explique su funcionamiento
1) AND
2) NOT
3) OR