Formalizar proposiciones 15/02/2017
Estudiante: Gean Camilo Carrascal
Codigo: 20162578024
1.)Todo lo que tu dices es falso
Todo lo que dices = P
Falso = Q P→Q
2.)Si eres puntual, iremos juntos
Si eres puntual = P
Iremos juntos = Q P→Q
3.)Los alumnos de lógica aprueban o no aprueban
Los alumnos de lógica aprueban = P
No aprueban = Q P ∨ ¬Q
4.)Es cierto que las matemáticas son divertidas
Si son matemáticas = P
Son divertidas = Q P→Q
5.)Llueve
Llueve = P P
Algo en común = R
6.)No es verdad que todo lo que digo es falso
Llueve = P P
Relacionan = R
Hermanos = R
7.)No hace calor
Hace calor = P ¬ P
8.)Cuando me dejo llevar por la ira, termino arrepentido
Si me dejo llevar por la ira = P
Termino arrepentido = Q P→Q
Termino arrepentido = Q P→Q
9.)La lógica y las matemáticas se relacionan
La logica = P
Las matemáticas = Q (P ⋀ Q)→R
Las matemáticas = Q (P ⋀ Q)→R
10.)Juan y Pedro son hermanos
Juan = P
Pedro = Q (P ⋀ Q)→R
Pedro = Q (P ⋀ Q)→R
10.)Los políticos y los magos tienen algo en común
Los políticos = P
Los magos = Q (P ⋀ Q)→R
Los magos = Q (P ⋀ Q)→R
12.)La suma de los ángulos de un triangulo equivalen a 180 grados
La suma de los ángulos de un triangulo = P
Equivalen a 180 grados = Q P→Q
Equivalen a 180 grados = Q P→Q
No hay comentarios:
Publicar un comentario