Premisa Mayor Premisa menor Conclusión
Enviado por Aislynn Huerta • 24 de Agosto de 2016 • Documentos de Investigación • 585 Palabras (3 Páginas) • 2.949 Visitas
Premisa Mayor
Premisa menor
Conclusión
1.-Mario aprobará lógica si Dios quiere. Mario aprobará lógica si y solo sí hace sus ejercicios y estudia. En conclusión, si Mario no aprueba y no estudia, entonces Dios no lo quiere.
Variables | Lenguaje artificial | |
p=Mario aprobará lógica q=Dios quiere r=Hace sus ejercicios s=Estudia | (p→q)˄[p↔(r˄s)]→[(~p˄~s)→(~q)] |
2.-Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiatra.
Variables | Lenguaje artificial | |
p=Los elefantes volaran q=Supieran tocar el acordeón r=Pensaría que estoy como una regadera s=Dejaría que me internaran en un psiquiatra. | (p˅q)→(r˄s) |
3.-Si la tormenta continúa o anochece, nos quedaremos a cenar o dormir. Si nos quedamos a cenar o a dormir, no iremos mañana al concierto. Pero si iremos mañana al concierto. En conclusión, la tormenta no continuará.
Variables | Lenguaje artificial | |
p=La tormenta continúa q=Anochece r=Nos quedaremos a cenar s=Dormir t=Iremos mañana al concierto | {[(p˅q)→(r˅s)]˄[(r˅s)→~t]˄t→~p} |
4.-Si graniza o nieva entonces uso paraguas o no salgo de casa. Se da el caso que graniza. Por lo tanto, no salgo de casa y me quedo a dormir.
Variables | Lenguaje artificial | |
p=Graniza q=Nieva r=Uso paraguas s=Salgo de casa t=Me quedo a dormir | [(p˅q)→(r˅~s)]˄p→(~s˄t) |
5.-Si aprobé todas mis materias y tengo promedio de 9, entonces estudiaré con una beca en la UNAM. Aprobé todas mis materias y mi situación económica es regular.
En conclusión, estudiaré con una beca en la UNAM y no me quedare en Orizaba.
Variables | Lenguaje artificial | |
p=Aprobé todas mis materias q=Tengo promedio de 9 r=Estudiare una beca en la UNAM s=Mi situación económica es regular t=Me quedare en Orizaba | [(p˄q)→r]˄(p˄s)→(r˄~t) |
6.-Si x=1 e y=2, entonces z=3. Si, y=2, z=3, entonces w=0. X=1. Por consiguiente, w=0.
Variables | Lenguaje artificial | |
p= x=1 q= y=2 r= z=3 s= w=0 | {[(p˄q)→r]˄[(q→r)→s]˄p}→s |
7.-Si un triángulo tiene tres ángulos, un cuadrado tiene 4 ángulos rectos. Un triángulo tiene 3 ángulos y su suma vale 2 ángulos rectos. Si los rombos tienen 4 ángulos rectos, los cuadrados no tienen 4 ángulos rectos. Por ende, los rombos tienen 4 ángulos rectos.
...