Inferencias Tautologicas

INFERENCIAS TAUTOLOGICAS

A. Modus Ponens

P1: si llego a tiempo entonces participare en el concurso

P2: llego a tiempo

Conclusión: participare en el concurso

“Si llego a tiempo entonces participare en el concurso. Llego a tiempo por lo que participare en el concurso.”

B. Modus Tollems

P1: si Rosa va a l parque, se encontrará con Juan

P2: no se encontrará con Juan

Conclusión: Rosa no va al parque

“Si Rosa va al parque, se encontrara con Juan. No se encontrara con Juan por lo tanto Rosa no va al parque”

C. Modus Hipotético

P1: Si hace frio, María usa chompa

P2: Si María usa chompa entonces llevará chalina

Conclusión: Si hace frio entonces María llevará chalina.

“Si hace frio, María usa chompa. Si María usa chompa entonces llevará chalina. Por lo tanto si hace frio, María llevará chalina”

D. Silogismo Disyuntivo

P1: El perro está enfermo o es no carnívoro.

P2: El perro no está enfermo

Conclusión: no es carnívoro

“El perro está enfermo o no es carnívoro. No está enfermo. Por lo tanto el perro no es carnívoro”

Conjunción

p: El sol brilla

q: Felipe sale a jugar

Conclusión: El sol brilla y Felipe sale a jugar

“El sol brilla y Felipe sale a jugar”

E. Simplificación

P1: El concierto de Kim será en Arequipa y Adriana irá al concierto

Conclusión: Adriana irá al concierto

“El concierto de Kim será en Arequipa y Adriana Ira al concierto. Por lo tanto Adriana irá al concierto”

F. Adición

P1: Cristóbal Colón descubrió América.

Conclusión: Cristóbal Colón descubrió América o Miguel Grau nació en Piura

“Cristóbal Colón descubrió América. Por lo tanto Cristóbal Colón descubrió América o Miguel

...