Michelini Jorge, Juan Pedro
(Universidad ORT Uruguay, 2013)
El objetivo del presente trabajo es formalizar un método de construcción de demostraciones formales con base en la matemática calculacional de Dijkstra y restringido a la lógica proposicional. El método se formalizará e ...