FORMALIZAR PROPOSICIONES 15/02/2017

FORMALIZAR PROPOSICIONES 

Juan Carlos Gomez Sanchez 

20162578095

1. Todo lo que tu dices es falso 

     

       P = Todo lo que tu dices  

       Q = Falso                                                           P→Q

                   

2. Si eres puntual, iremos juntos

       

       P = Eres puntual 

       Q = iremos juntos                                              P→Q

3. los alumnos de lógica aprueban o no aprueban 

       P = los alumnos de lógica aprueban 

       Q = No aprueban                                                P→¬Q

       

4. Es cierto que las matemáticas son divertidas 

       P = Si son matemáticas 

       Q = Son divertidas                                              P→Q 

        

5. llueve

6. No es verdad que todo lo que dices es falso 

       P = Todo lo que dices    

       Q = falso                                                            ¬P→Q  

                                  

7. No hace calor

       P = Hace calor                                                    ¬P

8. Cuando me dejo llevar por la ira, termino arrepentido

       P = Me dejo llevar por la ira                                          
       Q = Termino arrepentido                               P→Q

9. La lógica y las matemáticas se relacionan

       P = La lógica
       Q = Las matemáticas                                     P∧Q→R
       R = Relacionan

10. Juan y pedro son hermanos

       P = Juan
       Q = Pedro                                                     P∧Q→R
       R = Hermanos

11. Los políticos y los magos tienen algo en común
         
       P = Politicos
       Q = Magos                                                     P∧Q→R
       R = Algo en común

12. La suma de los angulos de un triangulo equivalen a 180°

       P = La suma de los ángulos de un triangulo
       Q = Equivalen a 180°                                      P→Q