Primera Practica de Lgica Proposicional

Traducir al lenguaje formal : 1. la variable es de tipo int 2. La computadora no funciona 3. Pedro escogi T-bone y helado 4. El agua hierve a 100 C y se congela a 0C 5. si a<b y b<=0, a es un valor negativo 6. Andrs obtuvo excelente en Lgica, Clculo y Programacin 7. Me gusta el helado de limn, pero no el de chocolate 8. Si hay espacio de memoria suficiente la funcin malloc retorna una direccin de memoria 9. Si no hay espacio de memoria suficiente la funcin malloc retorna NULL 10. C++ es un lenguaje estructurado y orientado a objetos 11. Java es un lenguaje compilado e interpretado 12. Si el agua hierve, se genera vapor 13. La mquina no despacha caf a menos que tenga agua y deposites una moneda 14. Si cometes una infraccin y un polica te atrapa, te pondr una multa 15. Es suficiente que asistas a la demostracin para que te den un obsequio 16. Que el documento tenga errores implica que lo tengas que corregir 17. Ya que no hay luz, no hay red inalmbrica 18. Una buena alimentacin es necesaria para gozar de buena salud 19. La fotografa se arruina cuando quiera que la mojes 20. Al menos haz la tarea o la practica 21. El servidor tiene la IP 148.215.13.1 y el nombre servidor1.uaemex.mx 22. Si el huracn se termina, se terminarn los problemas de inundacin 23. Para que el auto avance es necesario que este encendido y tenga combustible 24. Los equipos A y C entregaron su propuesta a tiempo como consecuencia de la organizacin de su trabajo 25. La buena marcha de la empresa fue condicin necesaria y suficiente para aumentar su cuenta de resultados 26. Si estas tienes diabetes, hipertensin, SIDA, Obesidad y contraes influenza AH1N1 entonces estas en riesgo de salud 27. Si sabes hacer algoritmos y conoces la sintaxis de un lenguaje de programacin estructurado, estocen puedes programar Nota: Considrese los pasos a) Anlisis de los enunciados y asignacin de variables o letras enunciativas b) Plasmarlo como una argumentacin o razonamiento c) Formalizacin d)Verificar que el argumento es correcto