ACADEMIA PREUNIVERSITARIA

MUNICIPAL DE LAREDO IMPLICACIONES

LÓGICAS
2022

Docente: LAWRENCE GLENN

Curso: RAZ. LÓGICO
I. IMPLICACIONES LÓGICAS
Ing. Lawrence Glenn

Una fórmula o una estructura son implicaciones lógicas cuando tienen

conector principal implicador y su matriz principal es tautológica.

Ejemplos: (p  q)  [r  (p  q)]
0 1 11 1
[(p  q)  q]  (p  q) 0 1 01 1
1 1 1 1 1 0 1 10 0
0 0 0 1 1 0 1 01 0
1 1 1 1 1 0 1 10 0
1 0 0 1 0 0 1 01 0
1 1 11 1
1 1 01 1

CICLO NOVIEMBRE 2021 – MARZO 2022

 II. IMPLICACIONES NOTABLES

Ponendo ponens AB Tollendo tollens AB

Afirmando la causa, B Negando el efecto, A
afirmo el efecto. --------- niego la causa. ---------
(  ) A (  ) B

AB A  B AB AB A  B AB

A A B B B A
-------- --------- --------- -------- --------- ---------
B B A A A B

Falacia Falacia
Afirmación del Negación del
Ing. Lawrence Glenn consecuente antecedente

CICLO NOVIEMBRE 2021 – MARZO 2022

 Ponendo tollens AB Tollendo ponens A  B
Afirmando una de solo 2, B Negando una de dos, A
niego la otra. --------- afirmo la otra. ---------
() A ( ) B

AB A  B A  B AB AB AB

A A A B A A
-------- --------- --------- -------- --------- ---------
B B B A B B

Falacia
Silogismo
Ing. Lawrence Glenn disyuntivo falaz

CICLO NOVIEMBRE 2021 – MARZO 2022

 NOTA:

Cambio de escritura: Vertical a horizontal

P 1: p  q [(p  q)  (r  p)  (s  r)]  (s  q)

P 2: r  p
P 3: s  r
------------------
C: sq

Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 Dilemas y cuasi dilemas
Están formados por uno o dos modos de inferencia.
El conector de menor jerarquía queda y reparte.
(  <  <  <  <  )

AB AB A  C A  B
A  C AC B  D A  D
---------- ---------- B  C D  C
B  C CB ---------- ----------
D  A B  C

Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 Silogismo Hipotético Puro
Encadenamiento causa – efecto.
(   - de un solo tipo)
Importante
Cuando solo hay “v”, las
conjugadas se anulan.
Forma básica Otros ejemplos: Ejemplo:
Falacia
A  B AB AB A  B AB AB A  B
B  C BC BC B  C BC AC B  C
--------- CD DC C  D CD ---------- D  C
A  C ---------- DE ------------ EA BC -------------
AD ---------- A  D ---------- A  D
AE ED

Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 Conjunción
Concluye uniendo con  las
premisas.

AB AB AB A

C CD AC B
---------------- ---------------------- ----------------------- -------
(A  B)  C (A  B)  (C  D) (A  B)  (A  C) AB

Importante
Toda equivalencia es una inferencia pero no
toda inferencia es equivalencia.
Esto es:
Inferencias

Equivalencias

Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 Simplificación
Elimina una parte cuando el conjuntor “” es
principal es una premisa.

(A  B)  C AB (A  B)  (A  C) (A  B)  (B  C)
A AC A -------------------------
---------------- ---------- ----------------------- AB
B B C

Simplificación especial.
Elimina en el lado del efecto para luego aplicar Tollendo
tollens.

A  (B  C) A  (B  C) (A  B)  C A  (B  C)
B C A B
---------------- ---------------- ------------------ -------------------
A A C A
Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 Adición
Agrega con disyuntor incluyente “” en la
conclusión, lo que sea.

AB AB AB AB

A B BC AC
--------- ------------------ ------------------ -----------------------
CB A  (C  D) (A  C)  B (B  C)  (A / C)

Adición especial.
Agrega en el lado de la causa para luego aplicar Ponendo
ponens.

(A  B)  C (A  B)  C A  (B  C) (A  B)  C
AB AB BC AB
----------------- ----------------- ---------------- ----------------
C C A C
Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

 NOTA:

De las premisas: De la premisa: De la premisa:

P 1: (p  q)  r P 1: pq P 1: pq
P 2: p
--------------------- ---------------- ----------------

Se infiere: Se infiere: Se infiere:

Ing. Lawrence Glenn

CICLO NOVIEMBRE 2021 – MARZO 2022

Ing. Lawrence Glenn
CICLO JUNIO-SEPTIEMBRE 2021