![Avatar](/_next/image?url=https%3A%2F%2Flemm.ee%2Fapi%2Fv3%2Fimage_proxy%3Furl%3Dhttps%253A%252F%252Ffeddit.cl%252Fpictrs%252Fimage%252F1f3c8db5-371b-4136-88dd-b433a9df6ba6.jpeg&w=3840&q=75)
![Avatar](/_next/image?url=%2Flemmy-icon-96x96.webp&w=3840&q=75)
A_Chilean_Cyborg
Musho autismo
Tanta abstinencia que casi regreso a reddit.
yo no se naa de IT, pero sería bkn que pensaras la posibilidad de conseguir un par de manos extras para que no seas solo tú en el proyecto, suena caleta de pega mantener una instancia.
My ADHD thanks duolingo, if I’ll only learn French at gunpoint, so be it.
hoy feddit me tiene mala.
La lógica proposicional, o de bool, es más parecida a calcular que la filosofía:
~ = no, /\ = y, \/ = o, => = implica, <=> si y solo si
Al final la lógica matemática se usa para correr todo el software que el filósofo use para escribir sus filosofadas, claro que la lógica booleana no es más que la punta del iceberg de la lógica matemática, pero es que el resto del álgebra es una versión complicada de eso nomás, “demuestre que x = Y” es básicamente eso.