Bienvenidos a mi proyecto el cual está en construcción, abordando temas como el cálculo proposicional y el cálculo de predicados, entre otros.
cálculo proposicional
cálculo de predicados
