elhacker.net cabecera Bienvenido(a), Visitante. Por favor Ingresar o Registrarse
¿Perdiste tu email de activación?.

 

 


Tema destacado: Curso de javascript por TickTack


+  Foro de elhacker.net
|-+  Foros Generales
| |-+  Dudas Generales (Moderador: engel lex)
| | |-+  [Duda] Lógica
0 Usuarios y 1 Visitante están viendo este tema.
Páginas: [1] Ir Abajo Respuesta Imprimir
Autor Tema: [Duda] Lógica  (Leído 3,049 veces)
DarK_FirefoX


Desconectado Desconectado

Mensajes: 1.263


Be the change you wanna see in te world


Ver Perfil
[Duda] Lógica
« 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


En línea

Ferno


Desconectado Desconectado

Mensajes: 375


Ver Perfil
Re: [Duda] Lógica
« Respuesta #1 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.


En línea

Páginas: [1] Ir Arriba Respuesta Imprimir 

Ir a:  

Mensajes similares
Asunto Iniciado por Respuestas Vistas Último mensaje
Duda con una función lógica
Electrónica
Cervantes_xD 5 5,255 Último mensaje 2 Noviembre 2009, 05:21 am
por le_roi
Estoy realizando un CMS (pequeña duda de lógica) « 1 2 3 »
PHP
dimitrix 25 9,126 Último mensaje 9 Marzo 2011, 15:30 pm
por dimitrix
Logica
Dudas Generales
anarquistadel89 2 3,298 Último mensaje 22 Octubre 2011, 00:43 am
por anarquistadel89
Duda Redes wep Wlan_00 ,Lo que dice esta web tiene logica?
Hacking Wireless
Anonymous250 3 3,317 Último mensaje 3 Noviembre 2011, 14:49 pm
por Anonymous250
WAP2 - Aviso Legal - Powered by SMF 1.1.21 | SMF © 2006-2008, Simple Machines