/*

Tarea de programación Lógica.

Elaborada por la M. en C. Elsa Arzate Hernández.

************************** Inicio_Tarea1 *********************

Si el perro es un lobo entonces no es un perro terrier y no es un perro cazador

Está sentencia se expresa P -> Q ^ R

Cuando la ^ está del lado derecho, pero solo en caso de ^ se puede dividir en 2

Reglas:

P -> Q

P -> R

O el perro es un faldero o si el perro es doméstico entonces es un perro manso

Si el perro es doméstico entonces es un perro manso

Si el perro es un lobo y el perro no es un terrier entonces no es un perro doméstico

Si el perro es salvaje entonces es un lobo

Lazy es un perro salvaje

Candy es un perro pequeño

Si es un perro faldero y un perro doméstico entonces es un perro pequeño. Por lo tanto:

O Candy no es un perro salvaje o Candy es un perro lobo

Candy no es un perro pequeño y Candy no es un perro lobo

Candy es un perro pequeño y es doméstico

Candy es un animal doméstico y faldero

Lazy es un perro lobo y no es un perro doméstico

************************** Fin_Tarea1 *********************

************************** Inicio_Tarea2 *********************

Todos los miembros del comité viven en esta ciudad,

El presidente de la sociedad es un miembro del comité,

La Srita. López es la presidente de la sociedad,

Por lo tanto, La Srita. López vive en esta ciudad.

************************** Fin_Tarea2 *********************

************************** Inicio_Tarea3 *********************

Si Pedro es elegido ganador entonces Juan está fuera de combate.

Si Miguel está fuera de combate entonces Pedro es elegido ganador.

Juan está fuera de combate y Miguel está fuera de combate también.

Por tanto Pedro es elegido ganador.

************************** Fin_Tarea3 *********************

************************** Inicio_Tarea4 *********************

Todas las ambulancias son automóviles

Todos los automóviles son vehículos

La cruz es una ambulancia

Por lo tanto, Todas las ambulancias son vehículos

************************** Fin_Tarea4 *********************

************************** Inicio_Tarea5 *********************

Si la tormenta continua nos quedaremos a cenar y a dormir;

Si nos quedamos a cenar o a dormir no iremos mañana al concierto

No continúa la tormenta

Por tanto: Iremos al concierto

************************** Fin_Tarea5*********************
************************** Inicio_Tarea6 *********************

Si el unicornio es mágico es inmortal.

Si el unicornio no es mágico es un mortal.

Si el unicornio es inmortal o es un mamífero, entonces tiene cuernos.

El unicornio es mágico si tiene cuernos.

El unicornio es mamífero y es inmortal.

Por lo tanto: El unicornio es mágico.

************************** Fin_Tarea6*********************/