INFERENCIAS

I.

PROPIEDADES

II.

CLASES
1. Por el nmero de premisas
A. Inmediatas
De una sola premisa, se deriva sin trmino medio la conclusin.
Premisa
V
F
V
F
?

Conclusin
V
F
F
V
?

Denominacin
I. inmediatas lcitas
I. inmediatas ilcitas
I. inmediatas indeterminadas

B. Mediatas
Tiene dos o ms premisas unidas por el trmino medio. El trmino medio
solamente sirve para conectar a las premisas, no aparece en la conclusin. Son
vlidas o no lo son segn la matriz que se obtenga en la tabla de valores de
Wirgenstein.
2. Por el mtodo
A. Deductivas
La conclusin se deriva necesariamente de las premisas. Se pasa de lo universal /
general a lo particular (inclusive a lo singular). Existe una derivacin necesaria.

Universal o general
Particular
Singular
P1: Todos los hombres son mortales.
P2: Scrates es hombre.
C: () Scrates es mortal.
B. Inductivas

La conclusin es el resultado de la verificacin constante de experiencias

singulares por las cuales se pasa de la verdad de proposiciones singulares a la
verdad de una proposicin universal.

Singular
Experiencia / experimentacin
Universal o general

Principios
Induccin

Verificacin
de
Costumbre
la repeticin

jurdicos
Deduccin

Normas Jurdicas
Regulacin

Relaciones
sociales

III.

VALIDEZ DE LA INFERENCIA
Una (i) nunca es V / F, sino Vlida / Invlida. La Inferencia es vlida syss despus de haber
sido traducida al lenguaje artificial de la lgica y operacionalizada en la tabla de valores de
Wirgestein se encuentra una matriz tautolgica.
Equivalencias tautolgicas
1. Leyes de August de Morgan
a.

(~p ~q)

~ (p q)

b.

(~p ~q)

~ (p q)

c.

~ (~p ~q)

(p q)

~ (~p ~q)

(p q)

(p q) r

P (q r)

2. Ley asociativa
a.

pqr

b.

pqr

(p q) r

p (q r)

3. Ley conmutativa
a.

(p q)

(q p)

b.

(p q)

(q p)

c.

(p q)

(q p)

(p q)

(q p)

(q p)

4. Ley de trasposicin
a.

(~p ~q)

5. Ley de bicondicionalidad
a.

[(p q) (q p)]

(p q)

6. Ley de doble negacin

a.

~~p

(Pares)

b.

~~~p

~p

(Nones )

Ejemplos:
1. Reducir:
{(~~~p~~~q) [r s t]}
{(~p ~q) [(r s) t]}
{(qp) [(r s) t]}

2. Reducir:
{[(pq) (qp)] [~(~p~q) ~(~p~q)]}
{(pq) [(pq) (pq)]}

Razonamientos tautolgicos bsicos

1. Modus Ponends Ponens (afirmando, afirma)
P1: Si comes mucho, engordars.
P2: Comiste mucho.

(Afirma el antecedente)

C: () Engordaste.

(afirma el consecuente)

2. Modus Tollends Tollens (negando, niego)

P1: Si bebes mucho licor, te embriagars.
P2: No te embriagaste.

(Niega el consecuente)

C: () No bebiste mucho licor.

(Niega en antecedente)

3. Silogismo hipottico puro

Ley de transitabilidad

P1: Si juegas carnavales, te mojarn.

P2: Si te mojas, te refriars.
C: () Si juegas carnavales, te resfriars.
4. Silogismo disyuntivo / Modus tollens, ponens (negando, afirmo)
P1: Jos toma caf o leche
P2: Jos no toma caf.
C: () Jos toma leche.

P1: Jos toma caf o leche

P2: Jos no toma leche.
C: () Jos toma caf.
5. Dilema constructivo
P1: Si te alimentas bien, estars sano.
P2: Si haces deportes, sers atleta.
P3: Te alimentas bien o haces deporte.
C: () Estars sano o sers atleta.

Premisa de conexin lgica

P1: (p q )
P2: (r s )
P3: (p r )

{[pq) (qr)] (p r)} (q s)

C: (q s )
6. Dilema destructivo
P1: Si te alimentas bien, estars sano.
P2: Si haces deportes, sers atleta.
P3: No ests sano o no eres deporte.

Premisa de conexin lgica

C: () No te alimentas bien o no haces

deportes

P1: (p q )
P2: (r s )
P3: (~q ~s )
C: (~p ~r )

{[pq) (qr)] (~q ~s)} (~p ~r)

{[pq) (qr)] ~ (q s)} ~ (p r)