Funtores: Los Conectores Lógicos
¿Alguna vez te has preguntado cómo los filósofos y matemáticos pueden analizar argumentos de forma tan precisa? La clave está en los funtores, que son como conectores que unen proposiciones.
Los funtores monádicos solo afectan a una proposición. El más importante es el negador (¬), que significa "no", "no es cierto que" o "no ocurre que". Funciona como un interruptor: si algo es verdadero (V), lo convierte en falso (F) y viceversa.
Los funtores poliádicos conectan dos o más proposiciones. El conjuntor (∧) significa "y" - solo es verdadero cuando ambas proposiciones son verdaderas. El disyuntor (∨) significa "o" - es verdadero cuando al menos una proposición es verdadera.
💡 Truco: Para recordar el conjuntor, piensa que es muy exigente: necesita que TODO sea verdadero para estar contento.
El implicador (→) es especial: solo es falso cuando tienes algo verdadero que lleva a algo falso. Es como una promesa que solo se rompe en esa situación específica.
