INFERENCIAS INMEDIATAS

L ALGICA ARISTOTLICACONSIDERABA L A
POSIBILIDAD DE INFERENCIAS
I N M E D I ATA S : A Q U E L L A S Q U E P U E D E N O B T E N E R S E
D I R E C TA M E N T E A P A R T I R D E L A R E L A C I N Q U E
E S TA B L E C E U N J U I C I O R E S P E C T O A L O S
TRMINOS, SUJETO Y PREDICADO, QUE LE
CONSTITUYEN, EN FUNCIN DE LA CUALIDAD
( A F I R M AT I V O - N E G AT I V O ) Y L A C A N T I D A D
( U N I V E R S A L- PA R T I C U L A R ) D E L M I S M O .
A R I S T T E L E S E S T U D I C O N D E TA L L E C I E RTA S
O P E RA C I O N E S Q U E P E R M I T A N TA L E S
I N F E R E N C I A S I N M E D I ATA S O D I R E C TA S . PA R A
ELLO EL ABOR EL LL AMADOCUADRO DE
OPOSICIN DE LOS JUICIOS, EN EL QUE DADAS
LAS RELACIONES QUE CADA JUICIO
A R I S T O T L I C O , A , E , I , O , L L E VA I M P L C I TA S S E
P U E D E N E S TA B L E C E R C I E RTA S I N F E R E N C I A S
D I R E C TA S .

Actualmente contamos con las siguientes:

A. Teoremas de Morgan.
B. Negacin.
C. Obversa. (Equipotencia)
D. Conversa.
d.1 Conversa Simple Lineal.
d.2 Conversa Accidental.

E. Cuadro de Boeccio (De oposicin Tradicional).

F. Contrapuertas (Contrapuesta)
f.1 Contrapuerta Parcial
f.2 Contrapuerta Total

TEOREMAS DE MORGAN

\/x
=
x
=
\/x (Px) =
x (Px) =

~x
~\/x
~x (~Px)
~ \/x (~Px)

EL CUADRO DE BOECCIO

EJERCICIOS I
1. La contraria de la contradictoria de Muchos matemticos
estn mecanizados.

a) Casi todos los matemticos estn mecanizados.

b) Muchos mecnicos es falso que estn mecanizados.
c) Cada uno de los matemticos estn mecanizados.
d)Cualquiera que sea matemtico es no mecanizado.
e) T.A.

EJERCICIOS II
2. Halle usted el equivalente de: Quien quiera sea hombre es
mortal.

a) x (Hx /\ ~Mx)
b) /\x (Hx v Mx)
c) x (Hx /\ Mx)
d) /\x ~( Hx Mx)
e) ~[ x(Hx /\ ~Mx)]