Métodos de descripción en Ejemplo del Método Condiciones del

demostración palabras del método

método

Asumiendo el Que podemos Si llueve Juan y María irán a ver una No es necesario
antecedente analizar ”si se cumple película o mirarán un partido de fútbol en la realizar una
P entonces se televisión. Pero María no quiere ver más demostración
cumple Q” esto lo partidos de fútbol así que no harán eso. Por cuando el
hacemos sin lo tanto, si llueve irán a ver una película. antecedente se
complicarnos en Simbología: asume falso porque
hacer análisis A: Llueve. en ese caso la
profundos. B: Juan y María verán una película. implicación siempre
C: Juan y María verán un partido de fútbol. es verdadera sin
importar el valor del
Las premisas y la conclusión en formato
consecuente
proposicional son:
Premisa: Si llueve Juan y María irán a ver
una película o mirarán un partido de fútbol
en la televisión.
Premisa: Pero María no quiere ver más
partidos de fútbol.
Conclusión: Si llueve irán a ver una
película.

Demostración por Demostrar que el √2es irracional. Consiste en

contradicción enunciado es falso, Demostración: Suponemos que√2es suponer que el
es decir suponer que racional es decir que √2=pq, donde p y q teorema es falso, la
la negación del esta reducido a su mínima expresión. premisa es cierta y
anunciado es 2=p2q2→ p2=2b2→ la conclusión falsa y
verdadera p2esp=2l→(2l)2=4l24l2=2q2→q2=2l2→q2Si de ahí concluir que
a es par y b es par es una contradicción ya ocurra algo
que habíamos dicho que a y b están imposible.
reducidos en su mínima expresión. La
contradicción es decir que p y q son
racionales y están reducidos a su mínima
expresión ya que al ser a y b pares estos
aún pueden ser simplificados por lo que
queda decir que√2es irracional.

Implicación mutua sólo es verdadera si Mercurio es el primer planeta del sistema Deben ser
ambas proposiciones solar si y solo si es el planeta más cercano afirmativas y lo más
tienen el mismo valor al sol. P<->Q completas posibles,
de verdad (p → q) ∧ que por si solas se
(q → p), es decir la entienda que
doble implicación significa PyQ
puede definirse como
la conjunción de una
implicación y su
recíproca.
Análisis de casos Este método se Sea nez, Si nj4+1 para algún jez, o n=4i-1 (PvQ)→R
explica señalando para algún iez, entonces n es impar. “Si P es cierta o Q
que para demostrar Caso1: Supongamos que n4j+1 para algún es cierta, entonces
que P→Q, es jez. Como n=4j+1=2(2j)+1, y 2jez, entonces R es cierta”
necesario demostrar n es impar
que todos los casos Caso2:Supongamos que n=4i-1 para algún
de la hipótesis iez. Como n=4i-1=4i-1+(-1+1)=4i-2+1=2(2i-
implican la 1)+1, entonces n es impar.
conclusión.

Contrapositiva Se forma negando Para todo entero (n), si n*2 es par, intercambiar la
ambos términos e entonces n es par, con hipótesis P: n*2 es hipótesis y la
invirtiendo la par y conclusión Q, n es par, es equivalente conclusión del
dirección de la a la implicación: si n es impar entonces n*2 enunciado de la
inferencia. es impar con hipótesis ~q: n es impar, con inversa.
Explícitamente, la conclusión ~p: n*2 es impar.
contraposición de la Si está lloviendo, entonces te vengo a
declaración “si A, buscar en el carro. Si no te vengo a buscar
entonces B” es “si no en el carro, entonces no lloverá.
es B, entonces no A”

Erica Varela.
Métodos de demostración.
Herramientas de lógica computacional.