this post was submitted on 01 Jul 2024
17 points (94.7% liked)
Chile
681 readers
15 users here now
Comunidad general de Chile para Feddit.cl
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
La lógica proposicional, o de bool, es más parecida a calcular que la filosofía:
~ = no, /\ = y, \/ = o, => = implica, <=> si y solo siAl 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.