Reglas de inferencia

En la siguiente tabla encuentra la simbolizacin de las siete reglas; hace falta

que coloques el nombre de la regla y la redaccin de la misma en lenguaje
natural; para ello, sustituye las letras con los siguientes enunciados:

p = La adaptacin es condicin para la vida en la Tierra.

q = Las especies al adaptarse se transforman.

Conectiva Nombre Smbolo

lgica
Y Conjuncin
O Disyuncin
Entonces Condicional
si y slo si Bicondicional

Y la negacin, no, nunca, etc. ~

Simbolizacin de la Nombre Regla en lenguaje natural

regla de la
regla
Ejemplos:
 (M
P
P)

Modus
ponendo
ponens

Si es Esta regla indica que

energa siempre que tengamos
cintica e un condicional como
ntoncesd premisa de un
epende argumento deductivo y
del en otra premisa
movimient encontramos repetido el
o. antecedente, entonces
Es podemos concluir el
energa consecuente.
cintica.
:.
Depende
del
movimient
o.

Modus (
tollendo M
tollens T
T)

Si es Esta regla indica que

energa siempre que tengamos
cintica e un condicional como
ntoncesd premisa de un
epende argumento deductivo y
del en otra premisa
movimient encontramos negado el
o. consecuente, entonces
 No podemos concluir el
depende antecedente en
del negacin.
movimient
o.
:. No es
energa
cintica.

Mod (M
us TP
tollen )
do
pone
ns

Es Esta regla indica que siempre

en que tengamos una disyuncin
erg como premisa de un argumento
a deductivo y en otra premisa
cin encontramos negado el
ti antecedente o el consecuente,
ca entonces podemos concluir el
o antecedente o el consecuente
ha sin negacin.
y
rep
os
o.
No
es
en
erg
a
cin
ti
ca.
:.
Ha
y
rep
os
o.

Es
en
erg
a
cin
ti
ca
o
ha
y
rep
os
o.
No
ha
y
rep
os
o.
:.
Es
en
erg
a
cin
ti
ca.
 Silogismo (
hipottico S
H
)

Si es Esta regla indica que

energa siempre que tengamos
cintica e dos condicionales como
ntoncesd premisas en un
epende argumento deductivo, en
del donde el consecuente
movimient del primero es el
o. antecedente del
Si segundo, podemos
depende concluir un nuevo
del condicional con el
movimient antecedente del primero
oentonce y el consecuente del
s se
realiza un segundo.
trabajo.
:. Si es
energa
cintica e
ntoncess
e realiza
un
trabajo.

Conju C
ncin O
NJ
Es
ene
rga
cin
tica.
Part
e
del
rep
oso
a
cier
ta
velo
cida
d.
:.
Es
ene
rga
cin
tica
y
part
e
del
rep
oso
a
cier
ta
velo
cida
d.

Simplific (SI
acin M
P)

Es Esta regla indica que

energ siempre que tengas una
a conjuncin puedes disponer
cintic de cada una de las
a y re proposiciones simples por
aliza separado.
un
trabaj
o.
:. Es
energ
a
cintic
a.

Es
energ
a
cintic
a y re
aliza
un
trabaj
o.
:.
Realiz
a un
trabaj
o.
Adici (
n A
D
)

Es Esta regla indica que siempre

en que tengas una proposicin
erg simple podrs agregarle
a cualquier letra (aunque no est
cin sealada previamente en el
ti argumento) por medio de una
ca. disyuncin.
:.
Es
en
erg
a
cin
ti
ca
o
est

en
rep
os
o.