Lenguajes lógicos

Seite 1

Hasta la segunda mitad del siglo XIX empezaron a usarse lenguajes lógicos, es decir, lenguajes artificiales diseñados especialmente para describir con mas rigor las formas de los racionamientos y facilitar las demostraciones de su validez. o no validez.