Reglas de inferencia

En la siguiente tabla encuentra la simbolización de las siete reglas; hace falta

que coloques el nombre de la regla y la redacción de la misma en lenguaje
natural; para ello, crea un enunciado para cada letra y sustituye las letras con
esos enunciados:

p=
q=
r=

Ejemplo de enunciados:

p = La adaptación es condición para la vida en la Tierra.

q = Las especies al adaptarse se transforman.
r = Constantemente se conforman nuevas formas de vida.

Conectiva Nombre Símbolo

lógica

Y Conjunción ˄

O Disyunción ˅

Entonces Condicional ᵙ

si y sólo si Bicondicional ≡

Y la negación, no, nunca, etc. ~

Simbolización de la Nombre de la Regla en lenguaje natural

regla regla
Modus ponendo Si ahorras dinero entonces podrás
ponens irte de viaje.

Estás ahorrando dinero.

:. Podrás irte de viaje.

 Modus tullendo Si ahorras dinero entonces podrás

tollens irte de viaje.

No ahorraste dinero.

:. No podrás irte de viaje

Silogismo Si ahorras dinero entonces podrás

hipotético irte de viaje.

Para irte de viaje entonces

necesitas un trabajo.

:. Si ahorraste dinero entonces enes un

trabajo.

Modus tollendo Voy a comer carne o pollo.

ponens
No comí carne.

:. Comí pollo

Voy a comer carne o pollo.

No comí pollo.

:. Comí carne

Conjunción Tienes que comprar boletos de

avión.

Tienes que hacer reservas en un

hotel.

:. Tienes que comprar boletos de

avión y hacer reservas en un hotel.

ti

 Simplificación Tienes que conseguir trabajo y

ahorrar dinero.

:. Tienes que conseguir un trabajo.

Tienes que conseguir un trabajo y

ahorrar dinero.

:. Ahorrar dinero.

Adición Comer carne.

:. Comer carne o pollo.