AUTOR:
INFERENCIA LOGICA
Pgina 1
INTEGRANTES
INTEGRANTES
INTEGRANTES
LIMA 2016
INFERENCIA LGICA
El mtodo abreviado de deduccin natural (inferencia) fue propuesto por Gerhard
Gentzen en el ao de 1934. La inferencia tambin se conoce con el nombre de
deduccin, que significa demostrar una conclusin a partir de un conjunto de premisas
aplicando una serie de procedimientos y las reglas de inferencia.
Una inferencia tiene la forma siguiente:
( P1 P2 P3 ... Pn )
Conjunto de Premisas
Conclusin
La
p ~ q
~p ~q
VV
VF
FV
FF
INFERENCIA LOGICA
Pgina 2
Q
Consecuente o conclusin
El antecedente es verdadera entonces cada premisa (P1, P2, P3,, Pn) son verdaderas y el
consecuente o conclusin (Q) es falsa.
Para resolver ejercicios mediante el mtodo abreviado se recomienda los siguientes
pasos:
1 Al antecedente o al conjunto de premisas (P1, P2, P3,, Pn) y a cada una de la variables
proposicionales se le considera como verdadero (V) y falso (F) al consecuente o a la
conclusin.
2 Se elige una premisa que tenga una variable proposicional si esta no existe,
entonces se prefiere una variable proposicional que no tenga varias posibilidades,
teniendo en cuenta las reglas de las operaciones proposicionales( ,, , etc.) que
se puede presentar.
INFERENCIA LOGICA
Pgina 3
es,
falso se
{ ~ p ( q r ) ( s ~ r ) (q ~ t ) } ( ~ p s ) ~ t
1ra premisa
2da premisa
3ra premisa
4ta premisa
INFERENCIA LOGICA
Pgina 4
~t
~p (q
nica posibilidad
r )
~r
nica posibilidad
V
4to Paso. Por tanto, la inferencia no es vlida o falacia, porque ninguna proposicin es
verdadera y falsa a la vez.
Ejercicio N 02
Si los fenmenos naturales se comportan segn las leyes mecnicas de Newton,
entonces Newton dice la verdad, sin embargo la Fsica Clsica no es absoluta. La Fsica
Clsica es absoluta, si el movimiento o la velocidad de la luz son absolutos. Si Newton
dice verdad, el movimiento es absoluto. Por lo tanto,
comportan segn las leyes
absoluta.
SOLUCIN
Reemplazando por variables proposicionales, al texto en mencin:
p : Los fenmenos naturales se comportan segn las leyes mecnicas de Newton.
q : Newton dice la verdad.
r: La Fsica Clsica es absoluta.
s : El movimiento es absoluto
t : La velocidad de la luz es absoluto.
Expresando el texto en el leguaje simblico, obtenemos:
{ ( p q ) ~r ( s t ) r ( q s ) } (~ p ~ t )
Aplicando el Mtodo Abreviado
INFERENCIA LOGICA
Pgina 5
1er Paso Al conjunto de premisas del antecedente se le considera como verdadero (V) y
falso (F) al
V
{( p q ) ~ r
(s t) r
F
(q s)}
3ra premisa
4ta premisa
(~p ~t)
5ta premisa
tercera
nica posibilidad
p
nica posibilidad
* ~p
nica posibilidad
t )
~ t
V
* ~p
V
~ t
F
4to Paso. Por tanto, la inferencia es vlida, porque el valor de verdad de la proposicin
~t es verdadera y falsa a la vez.
INFERENCIA LOGICA
Pgina 6