modus

República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación Superior
Universidad Nacional Experimental “Rómulo Gallegos”
Área de Ingeniería de Sistemas
Escuela de Ingenieríade Informática

[pic]

Profesor: Integrantes:
Carlos Garrido Rufnil Ponce CI: 15.082.534
Lógica Matemática Romina Tabare CI: 18.617.209
I Semestre Sección 12
Mayo 2011
REGLAS DE INFERENCIALas reglas de inferencia son esquemas básicos de inferencia deductiva que se suelen escribir poniendo cada premisa en una línea y la conclusión en otra línea al final. Toda regla, como todainferencia deductiva, tiene que estar basada en la implicación de la conclusión a partir de las premisas

MODUS PONENDO PONENS

p → q “Si llueve, entonces las calles se mojan”(premisa)
p “Llueve” (premisa)
__________________________________________________

q“Luego, las calles se mojan” (conclusión)



El condicional o implicación es aquella operación que establece entre dos enunciados una relación decausa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente(segundo término, en este caso q).




MODUS TOLLENDO TOLLENS
Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nosreferíamos en primer lugar.República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación Superior
Universidad Nacional Experimental “Rómulo Gallegos”
Área de Ingeniería de SistemasEscuela de Ingeniería de Informática

[pic]

Profesor: Integrantes:
Carlos Garrido Rufnil Ponce CI: 15.082.534
Lógica Matemática Romina Tabare CI: 18.617.209
I Semestre Sección 12
Mayo 2011...