Lógica matemática

Delia Peña
Métodos de
demostración
Demostración por
contraejemplo
 El dar un ejemplo o mil, que ilustren una
proposición, no demuestra que ésta sea verdadera.
Sin embargo, sí podemos demostrar el hecho de
que la proposición sea falsa, aportando por lo
menos un ejemplo que lo confirme.
 Dicho ejemplo recibe el nombre de
contraejemplo. El contraejemplo pone en
evidencia que existe al menos un caso en el cual
la proposición no es verdadera.
Ejemplo

Verifique si la siguiente proposición es verdadera:

“Si un número impar es mayor que dos, es primo”.
Solución

A partir de esta proposición se podrá suponer,

erróneamente y en base a una observación limitada, que
los números 3, 5 y 7 cumplen esta proposición.
Solución

Sin embargo, podemos notar que el número 9

representa un contraejemplo para esta proposición
que es falsa. Es más, no es el único, ya que, aunque el
11 y el 13 vuelven a cumplir tal proposición, existen
otros contraejemplos, como el 15, 21, 25, 27, 33.
Demostración por
reducción al absurdo
 En este método se supone que la estructura
del razonamiento p→q no es tautológica.
Debido a que el operador principal de un
razonamiento es la implicación, la estructura
no es tautológica si existe al menos un caso
1→0, es decir, partimos de p y q e intentamos
llegar a un disparate o contradicción. Como p
no puede ser falsa, pues constituye la
hipótesis, se concluye que lo que es falso es q.
Ejemplo

Utilizando el método de reducción al absurdo,

demostrar la Ley del MODUS PONENDO
PONENS [(p→q)∧p]⇒q.
Solución

Debe procurarse partir de la situación en la que la

condicional resulte con valor de verdad falso (1→0), ya
que, si esto se cumple, estaremos seguros de que la
forma proposicional no será una tautología. Como
debemos buscar que el antecedente sea verdadero y el
consecuente falso, planteamos:
Solución

[(p → q) ∧ p] → q

1 1 0
 Analizando la segunda hipótesis y la
conclusión, p debe ser verdadera y q debe ser
falsa. Con estos valores de verdad para p y q,
no es posible conseguir que la primera
hipótesis p→q sea verdadera.
 Por lo tanto, no es factible el suceso de que
[(p→q)∧p] sea verdadera y que q sea falsa. A
partir del análisis anterior, concluimos que la
forma proposicional [(p→q)∧p]⇒q es
tautológica.
Tablas de verdad
Una tabla de verdad es la representación
de los posibles valores de verdad que
podría tomar una proposición. Las tablas
de verdad sirven para mostrar los valores,
relaciones y los resultados posibles al
realizar operaciones lógicas.
a a b a b c La cantidad de
0 0 0 0 0 0 combinaciones (filas de
1 0 1 0 0 1 la tabla de verdad)
0 1 0 depende de la cantidad
1 0
0 1 1 de proposiciones
1 1 1 0 0 presentes en la
1 0 1 expresión lógica.
1 1 0
1 1 1
Construcción de las
tablas de verdad con
los operadores lógicos
Negación

El valor de verdad de la negación es el contrario

de la proposición negada.

a ⌐a
1 0
0 1
Conjunción

Para que la conjunción a^b sea verdadera las dos

expresiones que intervienen deben ser verdaderas y
sólo en ese caso como se indica por su tabla de verdad.
a b a^b
0 0 0
0 1 0
1 0 0
1 1 1
Disyunción

La disyunción solamente es falsa si lo son sus dos

componentes. Con la disyunción a diferencia de la
conjunción, se representan dos expresiones que
afirman que una de las dos es verdadera, por lo que
basta con que una de ellas sea verdadera para que la
expresión a ∨ b sea verdadera.
Disyunción inclusiva

a b a∨b
0 0 0
0 1 1
1 0 1
1 1 1
Disyunción exclusiva

a b a⊻b
0 0 0
0 1 1
1 0 1
1 1 0
Condicional

El condicional solamente es falso cuando el

antecedente es verdadero y el consecuente es falso.
De la verdad no se puede seguir la falsedad.
a b a→b
0 0 1
0 1 1
1 0 0
1 1 1
Bicondicional

El bicondicional solamente es cierto si sus

componentes tienen el mismo valor de verdad.

a b a b
0 0 1
0 1 0
1 0 0
1 1 1
Contradicción

Si se tienen solamente proposiciones falsas para todos

los valores de verdad de las variables proposicionales,
se dice que es una CONTRADICCIÓN.
Contingencia

Si se tienen algunas proposiciones verdaderas y otras

falsas para los valores de verdad de las variables
proposicionales, se dice que es una CONTINGENCIA.
Tautología

Si se tienen solamente proposiciones verdaderas para

todos los valores de verdad de las variables
proposicionales, se dice que es una TAUTOLOGÍA.