About this document
Método Indirecto en Lógica Proposicional by Nidia Flores is a document available to read on EtoBox.
El documento explica el método indirecto para determinar si una fórmula lógica proposicional es una tautología o una contradicción sin usar tablas de verdad. El método implica asumir lo contrario de lo que se quiere demostrar y derivar una contradicción, lo que muestra que la asunción inicial es falsa. Se explican dos casos dependiendo del principal operador lógico de la fórmula.
- Author
- Nidia Flores
- Language
- ES