Scribd
Cargar
1K vistas12 páginas

Contrapositiva Lógica

La contraposición lógica establece que para cada enunciado condicional p → q, su contrapositiva ~q → ~p es equivalente. La contrapositiva se forma intercambiando y negando el antecedente y consecuente. Por ejemplo, la contrapositiva de "Si llueve, entonces cancelarán las clases" es "Si no cancelan las clases, entonces no lloverá". La contraposición, junto con la recíproca y la inversa, son transformaciones válidas de los enunciados condicionales.

Cargado por

becky_carrera
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
1K vistas12 páginas

Contrapositiva Lógica

La contraposición lógica establece que para cada enunciado condicional p → q, su contrapositiva ~q → ~p es equivalente. La contrapositiva se forma intercambiando y negando el antecedente y consecuente. Por ejemplo, la contrapositiva de "Si llueve, entonces cancelarán las clases" es "Si no cancelan las clases, entonces no lloverá". La contraposición, junto con la recíproca y la inversa, son transformaciones válidas de los enunciados condicionales.

Cargado por

becky_carrera
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

CONTRAPOSITIVA

LÓGICA
Inga. Rebeca Carrera
Marzo 2019
Contraposición Lógica

• En lógica, la contraposición lógica es una ley que dice que, para


cada sentencia condicional, hay una equivalencia lógica entre la
misma y su contraposición.

• En la contraposición de una sentencia, el antecedente y


consecuente son invertidos y negados: por lo tanto, la
contraposición de p → q es, por lo tanto ~q → ~ p
Ejemplo

• “Si llueve, entonces cancelarán las clases.”

• Para formar la contrapositiva del enunciado condicional,


intercambie la hipótesis y la conclusión del enunciado de la
inversa.
La contrapositiva de "Si llueve, entonces cancelarán las
clases" es "Si ellos no cancelan las clases, entonces no lloverá."
• Cualquier proposición condicional está formada por una hipótesis
(antecedente) y una conclusión (consecuente). Si se intercambian,
se niegan o ambas cosas, se forma una nueva proposición
condicional.

• Un enunciado condicional consiste de dos partes, una hipótesis en


la cláusula “si” y una conclusión en la cláusula “entonces”.
La contrapositiva puede ser comparada con otras dos relaciones
entre sentencias condicionales:

Para formar la conversa o reciproca del enunciado condicional,


intercambie la hipótesis y la conclusión.

La conversa de "Si llueve, entonces cancelarán las clases" es "Si


cancelan las clases, entonces lloverá."

Para formar la inversa del enunciado condicional, realice la negación


tanto de la hipótesis como de la conclusión.

La inversa de “Si llueve, entonces cancelarán las clases” es “Si no


llueve, entonces no cancelarán las clases.”
• En otras palabras:

• -Proposición original: p -> q (si p, entonces q)


• -Recíproca o conversa: q -> p ( si q, entonces p)
• -Inversa: -p -> -q (si no p, entonces no q)
• -Contrapositiva: -q -> -p ( si no q, entonces no p)
Ejemplo:
REGLAS DE PRIORIDAD DE LOS OPERADORES
LÓGICOS

• Generalmente cada conectivo lógico tiene dada una prioridad como


sigue:

El conectivo ~ tiene la prioridad más alta, por consiguiente ~p v q se debe


entender como (~p) v q.

En el caso de los conectivos binarios, la prioridad más alta esta dada por
∧, seguida de v, → y ↔, en ese orden.

Ejemplo: la expresión p ∧ q v r , debe ser entendida como: (p ∧ q) v r


Ejercicio No. 1

• Agrupar las siguientes expresiones lógicas de acuerdo al orden de


prioridad de los operadores:
• p→qvr
• p↔ q→r
• p↔q vs
• pvq→r
• p∧q↔r
Ejercicio No. 2

• Determinar si cada una de las siguientes proposiciones es una


Tautología, Contradicción o Indeterminación:
• ~[p → (q → p)]
• (p → q) ∧ (q v p)
• (p → q) → (~q → ~p)

También podría gustarte