ejemplos de sistemas formales ​

Respuestas

Respuesta dada por: damianyivan
0

Respuesta:

Algunos de los sistemas formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal. En la teoría de la demostración, las demostraciones formales se pueden expresar en el lenguaje de los sistemas formales, consistentes en axiomas y reglas de inferencia.

Preguntas similares