Matemtica Estructural y Lgica 31/01/2017

Natalia Sanabria Forero

P => q, se supone que p es
cierto y se demuestra q.

A partir de reglas de Mostrar que lo contrario a lo Cuando se quiere mostrar

que se quiere probar es un una implicacin.
inferencia absurdo

PRUEBAS DIRECTA PRUEBAS POR CONTRADICCIN PRUEBAS POR HIPTESIS

PRUEBAS FORMALES

PRUEBAS POR CASOS

PRUEBAS POR CONTRARRECPROCA

Si se quiere mostrar que p => q, esto Si se identifican casos que cubran todas las
equivale a mostrar que -q => -p. posibilidades y en cada caso se logra mostrar
que un resultado es verdadero,se puede
afirmar que siempre es verdadero.