Author Description

La siguiente obra es una introducción a las demostraciones muy básica y lo hace mediante una herramienta llamada Lógica de demostraciones que pretende ser equivalente al cálculo proposicional. La utilidad de saber hacer y transmitir demostraciones de argumentos válidos es amplia. Está en los campos de las matemáticas, la computación, el liderazgo, la política, entre otros. Para comprobar que esto es así, imaginemos a un matemático, a un programador, a un gerente o a un presidente que se contradice o que no es capaz transmitir algo válido.