Unicornios Binarios

Todo lo que tienen que saber (es decir, el artículo de José Alfredo Amor y Montaño), aquí .

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 obse...

Hoy es el examen de Frege, espero que estén listos; a partir de esta sesión hablaremos sobre el artículo de José Alfredo Amor que pueden descargar de  aquí . Mientras tanto, más de Alicia y su encuentro con los gemelos… 4. En otra ocasión, los hermanos hicieron los siguientes enunciados: 1o (1) "Yo miento los sábados."       (2) "Yo miento los domingos."  2o "Mentiré mañana." ¿Qué día de la semana era? 5. Un día Alicia se encontró sólo a uno de los hermanos. Él hizo el siguiente enunciado “Estoy mintiendo hoy y soy Tweedledee” ¿quién era? 6. Supongamos que en vez de eso, dijo: “Estoy mintiendo hoy o soy Tweedledee” ¿Habría sido posible determinar quién era? 7. Un día Alicia se encontró con ambos hermanos, e hicieron los siguientes enunciados: 1o "Si yo soy Tweedledum entonces él es Tweedledee."  2o "Si él es Tweedledee entonces yo soy Tweedledum." ¿Es posible determin...