Web HTML

Compartir este recurso:  
Descripción:
Sitio web que contiene una breve explicación sobre el significado del método de demostración por contrarrecíproca, y proporciona algunos ejemplos sobre su empleo.
Palabras clave:
Lógica matemática, Método por contrarrecíproca, 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.