Unicornios Binarios

El examen todavía no involucrará demostraciones; será muy importante que tengan claro todo lo que vimos en clase previamente, así como los detalles aprendidos en el artículo de José Alfredo Amor. Los lobos son hermosos Todo gato es extraterrestre pero ningún gato es verde Carlos no le habla a Iván Hay serpientes venenosas y serpientes que no lo son. Hay reptiles que además son serpientes Hay reptiles y hay serpientes Todo es observable Nada es caótico María ama a Juan pero Juan no ama a María Todas las mujeres aman a Luis Miguel Los gorilas hembra son peligrosos Los delfines y los gorilas son inteligentes No todo libro es barato e interesante Pedro conoce a pablo y a Elvira Britney se odia a sí misma Britney odia a todos los que la aman Todo hombre es o bien un caballero o bien un patán Todos los que odian a Beto son amigos de Armando A María le gusta algo Al menos un futbolista ha salido con Belinda No hay chica más atractiva que Margarita Todos los niños tienen

La tarea para entregar el viernes es la siguiente: 1. Existe una isla donde todos los habitantes nativos son o bien caballeros o bien bribones, los caballeros siempre dicen la verdad, en tanto que los bribones siempre mienten.  Tres habitantes de la isla de caballeros y bribones, A, B y C se encuentran en un jardín. Un extraño pasa y pregunta a A, “¿Eres un caballero o un bribón?” A balbuceó una respuesta que el extranjero no entendió, de modo que le preguntó a B, “¿Qué fue lo que dijo A?” B contestó, “A dijo que es un bribón”, y entonces C dijo, “No le creas a B, ¡está mintiendo!” La pregunta es: ¿Qué son B y C?     2. Traduce las siguientes expresiones al lenguaje de la lógica de predicados:   Los lobos son hermosos Todo gato es extraterrestre pero ningún gato es verde Carlos no le habla a Iván Hay serpientes venenosas y serpientes que no lo son. Hay reptiles que además son serpientes Hay reptiles y hay serpientes Todo es observable Nada es caó