RELACIÓN DE IMPLICACIÓN

La implicación es una
estructura en donde una
proposición es

P => Q consecuencia lógica de

otra. La forma de
representarla es P => Q, y
Hipótesis conclusión
se lee “P implica a Q” o “Q
es una implicación de P”.

La tabla de
verdad de la La proposición compuesta
conectiva se es únicamente falsa si el
muestra a antecedente es verdadero
continuación y el consecuente es falso
: y que, en los tres demás
casos, es verdadera.

Es un conjunto de oraciones que está

ARGUMENTO formado de premisas (pueden ser una o
varias) y una conclusión.

ARGUMENTO Premisa 1: Usted estudia matemática

Premisa 2: Usted aprobará el año
Conclusión: Luego, usted aprobará el año
Cada una de las premisas contenidas en el argumento se las puede nombrar de la siguiente
manera:
Si usted estudia matemática, entonces aprobará el año.
 Usted estudia matemática “p”
Usted aprobará el año “q”
Conclusión: Luego, usted aprobará el año

IMPLICACIÓN DE ARGUMENTO Un argumento es consistente cuando la conjunción

CONCISTENTE de las premisas (antecedentes), implica la conclusión
(consecuente).

La operación da como resultado una tautología, es decir todos los valores son verdad, por lo tanto,
se determina que el argumento es consistente.

Argumentos
Consistentes

Cuando una premisa

Cuando una premisa
es verdadera se
es falsa se obtienen
obtiene conclusiones
conclusiones falsas
verdaderas
Ejemplo:
[(p q ) ^ q] ∴ p

p q [(p q) ^ q] p
V V V V V V V V V
V F V F F F F V V
F V F V V V V F F
F F F V F F F V F
El argumento no es una implicación ni equivalencia. Por lo tanto, es inconsistente (falacia)
 SUSTITUCIÓN DE EQUIVALENCIA EN IMPLICACIÓN

Si una implicación se sustituye alguna de sus partes por proposiciones equivalentes, se obtiene
una implicación

[(p v q) ^ ( r v p)] p ^(q v r ) pv q q p

[(q p)^( r v p)] p ^(q v r )

p q r [(q p) ^ ( r v p)] p ^ (q v r)
V V V F V V V V F V V V V F V F V V V
V V F F V V V V V F V V V F V F V V F
V F V F F V V V F V V V V F V F F V V
V F F F F V V V V F V V V F V F F F F
F V V V V F F F F V F F V V F V V V V
F V F V V F F F V F V F V V F V V V F
F F V V F V F F F V F F V V F V F V V
F F F F F V F V V F V F V V F F F F F
Es una implicación

Caso excluido ( V, F), la implicación permanece al sustituir p v q q p

REGLAS DE INFERECIA

MODUS
PONENDO
PONENS
MODUS
LEYES
TOLLENDO
BICONDICIONALES
TOLLENS

MODUS
REGLA DE
TOLLENDO
ADJUNCION
PONENS

MODUS
REGLA DE
PONENDO
ADICION
TOLLENS

SIMPLIFICACI
SILOGISMO
ON
HIPOTETICO
CONJUNTIVA
SILOGISMO
DISYUNTIVO
MODUS PONENDO PONENS

En latín (modo que afirmando afirmo)

Esquema:

p q

∴q
P1: Si esta soleado entonces es de día

P2: Esta soleado

∴ Es de día

MODUS TOLLENDO TOLLENS

En latín (modo que negando niego)

Esquema

p q

∴ p
P1: Si un ángulo de un triángulo es mayor de 90° entonces la suma de los otros dos ángulos
es menor de 90°

P2: La suma de los otros dos anglos no es menor de 90°

∴ Un ángulo de un triángulo no es menor de 90°

 Dado un enunciado cualquiera, es
posible expresarlo como una
Regla de elección (disyunción) acompañado
adición (RA o por cualquier otro enunciado.
R+)
𝒑
𝒑 ⇒ (𝒑 ∨ 𝒒)
𝒑 ∨ 𝒒

Teniendo dos premisas y sabiendo

que ambas son ciertas podremos
decir que su conclusión va ser cierta
Reglas de Regla de utilizando el operador Λ
adjunción (AD) (conjunción)
inferencia
𝒑
𝒒
𝒑 ∧ 𝒒 ⟺ (𝒑 ∧ 𝒒)
𝒑 ∧ 𝒒

De un bicondicional pueden
derivarse una implicación en un
Leyes sentido o en el otro.
Bicondicionales
(LB)
𝒑→𝒒
𝒒→𝒑 𝒑↔𝒒
𝒑 ↔ 𝒒 (𝒑 → 𝒒) ∧ (𝒒 → 𝒑)

Demostración de implicaciones

Una demostración de una proposición significa un

argumento convincente de que la proposición es
verdadera, probar afirmaciones, teoremas y
principios partiendo de verdades universales y
evidentes.

Métodos de demostración
Método directo

En este método se asume que la H (hipótesis) es

verdadera y por medio de las reglas de inferencia, leyes
de la lógica, axiomas, etc , se llega a una conclusión.

𝐻 ⇒ 𝑇 , donde se parte de H que se considera verdadera,

hasta llegar a T
𝐻 ⇒ 𝑇 , donde se parte de H que se considera verdadera, hasta llegar a T

𝐻 ⇒ 𝑝1, 𝑣(𝐻) = 𝑣
𝑝1 ⇒ 𝑝2, 𝑣(𝑝1) = 𝑣
𝑝𝑛 ⇒ 𝑇, 𝑣(𝑝𝑛) = 𝑣
𝑝𝑛 ⇒ 𝑇, 𝑣(𝑝𝑛) = 𝑣

Ejercicios:
1.(𝒑𝟏 ∨ 𝒑𝟐 ) → 𝒑𝟑 , (𝒑𝟏 ∧ 𝒑𝟒 ) ⇒ 𝒑𝟏 ∧ 𝒑𝟑

𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑅𝑎𝑧𝑜𝑛𝑒𝑠
1. (𝑝1 ∨ 𝑝2 ) → 𝑝3 𝐷𝑎𝑡𝑜
2. (𝑝1 ∧ 𝑝4 ) 𝐷𝑎𝑡𝑜
3. 𝑝1 𝑆𝐶 𝑒𝑛 2
4. 𝑝1 ∨ 𝑝2 𝑅𝐴 𝑒𝑛 3
5. 𝑝3 𝑀𝑃𝑃 𝑒𝑛 1 𝑦 4
6. 𝑝1 ∧ 𝑝3 𝐴𝐷 𝑒𝑛 3 𝑦 5

2. 𝒑 𝒒, 𝒒 ∧ 𝒑 ⇒∼ 𝒒

𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑅𝑎𝑧𝑜𝑛𝑒𝑠

1. 𝑝 𝑞 𝐷𝑎𝑡𝑜
2. 𝑞 ∧ 𝑝 𝐷𝑎𝑡𝑜
3. 𝑞 𝑆𝐶 𝑒𝑛 2
4. 𝑝 𝑆𝐶 𝑒𝑛 2
5. ∼ 𝑞 𝑀𝑃𝑇 𝑒𝑛 1 𝑦 4
6. 𝑞 ∧∼ 𝑞 𝐴𝐷 𝑒𝑛 3 𝑦 5
7. 𝐹 𝐶𝑜𝑚𝑝𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑒𝑛 6
𝑁𝑜 𝑒𝑠 𝑖𝑚𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛
DEBER

Determinar si los siguientes argumentos son consistentes o inconsistentes

1. 2. 3.

4.

Verifique en cuales de los siguientes argumentos se cumple el principio de sustitución, para los
reemplazos indicados

5. [(p v p) ^ q] q ^ p p v p p

6. [(p v q) ^ (p v q )] p pv q p q

7. [p v ( p ^ q)] p p ^ q ( pvq)

Demostrar utilizando las reglas de inferencia

8. 𝑝 𝑞; 𝑝 ∧ 𝑟; 𝑞 ∧ 𝑠 ⇒ ~𝑞 ∨ 𝑠

9. ∼ 𝑞 ∨ 𝑟, 𝑝 ∨ 𝑞, ∼ 𝑝 ⇒ 𝑞 ∧ 𝑟

10. ~𝑝 ∨ 𝑞; ~𝑞; 𝑞 ∨ 𝑝 ⇒ 𝑞