|
Ejercicio 1
Analiza los siguientes enunciados o proposiciones:
| 1 |
Llueve y hace sol |
Observaciones:
Simbolitzamos la proposición atómica "Llueve" con la
variable p , y la proposición "Hace sol",
con la variable q
|
| 2 |
Llueve y no hace sol |
| 3 |
Llueve o hace sol |
| 4 |
Si no llueve, hace sol |
| 5 |
No es cierto que llueva |
| 6 |
No es cierto que no llueva |
| 7 |
Hará sol si y sólo
si no llueve |
¿Cuál es la formalización adecuada?
|
¬ p
|
p Ú q
|
p Ù q
|
p Ù¬ q
|
¬ ¬ p
|
¬ p ®
q
|
q « ¬ p
|
|
 |
