this post was submitted on 01 Jul 2024
17 points (94.7% liked)

Chile

677 readers
14 users here now

Comunidad general de Chile para Feddit.cl

founded 1 year ago
MODERATORS
[email protected]
17
Discusión Random Semanal - Semana del 1/07/24 (feddit.cl)
submitted 4 months ago by [email protected] to c/[email protected]
151 comments fedilink hide all child comments
 

Este hilo será renovado cada lunes

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 2 points 4 months ago* (last edited 4 months ago)

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.