Web HTML

Compartir este recurso:  
Descripción:
Sitio web que proporciona una breve explicación sobre el método de demostración por contraejemplo, el cual regularmente se aplica para mostrar la falsedad de alguna proposición lógica. Cuenta con ejemplos de su empleo.
Palabras clave:
Lógica matemática, Método por comtraejemplo, Métodos de demostración
Contribuciones:
Autor:
  • Héctor de Jesús Argueta Villamar
    Universidad Nacional Autónoma de México. Dirección General de Cómputo y de Tecnologías de Información y Comunicación.
  • María Juana Linares Altamirano
    Universidad Nacional Autónoma de México. Dirección General de Cómputo y de Tecnologías de Información y Comunicación.
Requisitos técnicos:
Tipo:
Navegador
Nombre:
Chrome
Tipo de recurso educativo: Sitio web
Temas:
Matemáticas -- Filosofía  Lógica simbólica y matemática  Decidabilidad (Lógica matemática)  
Categoría: Recurso para aprender
Programas de estudio asociados:
Las mayoría de las construcciones interactivas de este trabajo, están desarrolladas con: GeoGebra Dynamic Mathematics for Everyone Copyright 2001-2009 GeoGebra Inc. Otras más fueron realizadas con Descartes JS software desarrollado por el Dr. José Luis Abreu León. Instituto de Matemáticas. UNAM.