|
Título: [Duda] Lógica Publicado por: DarK_FirefoX en 25 Octubre 2011, 03:52 am Saludos, Estoy estudiando Ciencias de la Computacion y tengo una asignatura que se llama Lógica, y estoy dando Algebra de conjuntos, Relaciones Binarias, Funciones, etc. Pero tengo que hacer demostraciones. Si alguien me pudiera explicar con sus palabras los metodos de demostracion llamados
Via Directa, Contrareciproco y Reduccion al Absurdo. Nota: Tengo bibliografia pero la explicación esta un poco tediosa, agradecería un poco entendible Título: Re: [Duda] Lógica Publicado por: Ferno en 25 Octubre 2011, 17:06 pm Te lo explico medio a lo bruto (lo que recuerdo) porque justo la carpeta de Matemática Discreta (donde nos explicaron esto) la presté.
Directo: p -> q. Tomás la hipótesis p, y en base a igualdades, teoremas demostrados, leyes,etc, llegas a q. Contrarecíproco: (Si p->q es verdadera, entonces: ¬q -> ¬p también es verdadera). Partís de una tésis falsa, y llegás a una hipótesis falsa. Demostrando la seguna implicación (contrarecíproca) queda demostrada que la primer implicación también es verdadera. Reducción al absurdo: Partís de ¬p y en base a igualdades llegás a algún absurdo (Ejemplo: llegar a 1 = 0). Por ende, si ¬p es falsa --> p es verdadera. Espero que hayas entendido. |