Razonamiento Lógico con Diagramas y Oraciones: Uso de la Hiperprueba

Título original:

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Contenido del libro:

El paquete didáctico Razonamiento lógico con diagramas y oraciones enseña los principios del razonamiento analítico y la construcción de pruebas mediante una cuidada combinación de libros de texto, materiales de escritorio y materiales en línea. Este paquete será sin duda un recurso esencial en una serie de cursos que incorporan el razonamiento lógico, como la lingüística formal, la filosofía, las matemáticas y la informática.

A diferencia de los tratamientos formales tradicionales del razonamiento, este paquete utiliza representaciones gráficas y sentenciales para reflejar situaciones comunes del razonamiento cotidiano en las que la información se expresa de muchas formas, como encontrar el camino a un lugar utilizando un mapa y una dirección. También enseña a los estudiantes cómo construir y comprobar la validez lógica de una variedad de pruebas -de consecuencia y no-consecuencia, consistencia e inconsistencia e independencia- utilizando un sistema de prueba intuitivo que amplía los tratamientos de prueba estándar con reglas de inferencia sentenciales, gráficas y heterogéneas, permitiendo a los estudiantes centrarse en el contenido de la prueba en lugar de en la estructura sintáctica. Basado en los ampliamente utilizados paquetes de software Tarski's World and Language, Proof and Logic, Logical Reasoning with Diagrams and Sentences contiene más de trescientos ejercicios, la mayoría de los cuales pueden evaluarse mediante el servicio de evaluación en línea Grade Grinder.

Cuenta con el apoyo de un extenso sitio web a través del cual estudiantes e instructores pueden acceder a videoconferencias en línea de los autores.

Y permite a los profesores crear sus propios ejercicios y evaluar el trabajo de sus alumnos.

Razonamiento lógico con diagramas y oraciones es una revisión ampliada del paquete didáctico Hyperproof.