Ejercicios de Logica Matematica y Formal

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

 1.

 Sean p, q y r las proposiciones siguientes:


p: "está lloviendo"
q: "el sol esta brillando"
r: "hay nubes en el cielo"
Traduciremos las siguientes oraciones a notación simbólica utilizando las letras asignadas y los conectivos lógicos:
1 Está lloviendo y el Sol brillando
2 Si está lloviendo, entonces hay nubes en el cielo
3 Si no está lloviendo, entonces el Sol no está brillando y hay nubes en el cielo
4 El Sol está brillando si, y sólo si, no está lloviendo
5 Si no hay nubes en el cielo, entonces el Sol está brillando
5 O está lloviendo o el sol está brillando
 2. Sean p, q y r del ejercicio 1. Traducir las siguientes proposiciones simbólicas a oraciones en español:

También podría gustarte