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, sustituye las letras con los siguientes enunciados:

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

q = Las especies al adaptarse se transforman.

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 Regla en lenguaje natural

regla de la
regla
Modus Si llueve, entonces las calles se mojan,
ponendo “Llueve”
ponens Luego, las calles se mojan

Si llueve, entonces las calles se mojan

“Las calles no se mojan”
Modus Luego, no llueve.
tollendo
tollens
Silogismo Si la bola roja golpea a la bola blanca,
hipotético la bola blanca se mueve.
“Si la bola blanca golpea a la bola
negra, la bola negra se mueve”
Si la bola roja golpea a la bola blanca,
la bola negra se mueve.

Modus He ido al cine o me he ido de compras.

tollendo “No he ido de compras”
ponens Por tanto, he ido al cine.

Conjunción Juan es cocinero

Pedro es policía
Juan es cocinero y Pedro es policia
Simplificación Tengo una manzana y tengo una pera.
“tengo una manzana”
Tengo una pera

Adición He comprado manzanas.

He comprado manzanas o he comprado
peras.