logica proporsicional

Lógica Proposicional
4º AI Informática

La lógica tiene como objetivo determinar si los enunciados son verdaderos o falsos. Para ello existen varios principios y tablas de la verdad:
-Principiode bivalencia: dice que todo enunciado o es verdadero o es falso, pero no ambas cosas a la vez. Entonces un enunciado tendrá que ser verdadero o falso.
Debemos hacer una distinción entre la oracióngramatical propiamente dicha, a la que llamaremos enunciado, y el contenido o significado del enunciado, que es la proposición.
Así los siguientes enunciados representan en realidad a la mismaproposición:
En Maracaibo hace mucho calor
Maracaibo es una ciudad muy calurosa
La temperatura media de Maracaibo es bastante alta
El clima de Maracaibo es cálido
Maracaibo is a hot city

Lassiguientes expresiones son ejemplos de proposiciones:

Bolívar libertó a Venezuela
El hierro es un mineral
Einstein fue un físico teórico
36 + 63 = 99
La palabra "esdrújula" es esdrújulaLos siguientes son ejemplos de expresiones las cuales no son proposiciones

El hombre más fuerte del mundo
El director del periódico
13 + 7
¡Callate!
X obtuvo el Premio Nobel en 1970¿Cuánto cuesta ese reloj?


Tablas de la verdad

Cada conector está definido por una tabla de la verdad y le corresponde una función:

Negación Conjunción Disyunción CondicionalLógica Proposicional
4º AI Informática
Ejercicios

1. Formaliza los siguientes enunciados:
a) No me gusta trasnochar ni madrugar.
b) Si Esteban es un televidente extraordinario y un pésimoestudiante, entonces sus padres no estarán satisfechos y le impedirán dedicar tanto tiempo a la televisión.
c) Si viene en tren, llegará antes de las seis. Si viene en auto, llegará antes de las seis. Por lotano, si viene en tren como si viene en coche, llegará antes de las seis.
d) La nueva vacuna contra el SIDA se podrá experimentar y distribuir en los centros hospitalarios si y sólo si las...