Guia de Logica Matematica
Enviado por klimbo3445 • 15 de Abril de 2018 • 1.762 Palabras (8 Páginas) • 456 Visitas
...
Existen varios procedimientos para determinar la validez de un razonamiento, estos pueden ser:
- La determinación por deducción, ya sea directa o indirecta.
- El otro procedimiento consiste en las Tablas de Verdad.
En este curso nos dedicaremos a la determinación de la validez de un razonamiento a través de Tablas de Verdad.
Tablas de Verdad:
Son el resultado de representar todas las posibilidades de asignar valores a las letras enunciativas y ver lo que ocurre en cada una de ellas. Sirven para saber si una fórmula es consecuencia lógica de otra.
Para hallar la tabla de verdad de cualquier fórmula se siguen los siguientes pasos:
- Se asignan valores de verdad a las variables proposicionales (letras enunciativas) que aparecen en tal formula. Hemos de tener en cuenta que el número de combinaciones posibles siempre es 2n, donde “n” es el número de letras enunciativas y “2” el número de valores de verdad (verdadero: V y falso: F)
- Resolver comenzando por la formula cuyo conector lógico es el menos dominante.
- Continué la resolución de la fórmula completa, es decir aquella que depende del conector dominante.
Ejemplo 1: q ⇒ (∼p ∨ r)
Metodología 1:
p
q
r
∼p
∼p ∨ r
q ⇒ (∼p ∨ r)
V
V
V
F
V
V
V
V
F
F
F
F
V
F
V
F
V
V
V
F
F
F
F
V
F
V
V
V
V
V
F
V
F
V
V
V
F
F
V
V
V
V
F
F
F
V
V
V
Metodología 2:
p
q
r
q
⇒
(∼p
∨
r)
V
V
V
V
F
V
V
V
F
F
F
F
V
F
V
V
F
V
V
F
F
V
F
F
F
V
V
V
V
V
F
V
F
V
V
V
F
F
V
V
V
V
F
F
F
V
V
V
El resultado de una tabla de verdad puede ser una tautología, una contradicción o una indeterminación
Una tautología
...