Q.E.D. Q.E.D. Quod Erat Demostrandum (Patente en trámite) Juego de mesa para desarrollar habilidades en demostraciones formales de validez. Por: Amílcar.

Presentación del tema: "Q.E.D. Q.E.D. Quod Erat Demostrandum (Patente en trámite) Juego de mesa para desarrollar habilidades en demostraciones formales de validez. Por: Amílcar."— Transcripción de la presentación:

1 Q.E.D. Q.E.D. Quod Erat Demostrandum (Patente en trámite) Juego de mesa para desarrollar habilidades en demostraciones formales de validez. Por: Amílcar Arroyo Medina y Héctor Paz Díaz

2 Justificación: Sabemos que una manera de aprender – cualquier disciplina – es el uso adecuado de materiales concretos, pero sobre todo a través del juego.

3 Objetivo del juego: Incremento de habilidades en: Manipulación de reglas Capacidad para hallar varias estrategias

4 Descripción del Juego: Dicho instrumento es un juego de mesa dirigido a quienes tengan deseo de ejercitar habilidades lógicas

5 Para jugar es necesario: Un conocimiento básico de las reglas de INFERENCIA Y REEMPLAZO

6 De un tablero

7 De un mazo de problemas

8 De un mazo de reglas de inferencia

9 De un mazo de reglas de reemplazo

10 De cuadernos u hojas donde los jugadores realicen sus estrategias

11 Es importante que el jugador pueda elaborar varias estrategias

12 Cómo se juega Existen dos niveles: El primero dedicado a reglas de Inferencia y el segundo a Inferencia y Reemplazo

13 Creemos que se pueden aplicar 4 modalidades.

14 La primera permite un tiempo razonable para construir una estrategia de solución, y no será necesario que el jugador utilice las reglas que coloque en el tablero para su justificación ante los otros jugadores.

15 La segunda quita el tiempo para realizar una solución y no será necesario que el jugador aplique las reglas que señale dentro del tablero para justificarse ante los otros jugadores.

16 La tercera permite un tiempo razonable para construir una estrategia de solución, sin embargo exige que las reglas que cada jugador coloque en el tablero sean utilizadas en su solución, pudiendo tomar de otro las reglas que le sirvan.

17 La cuarta quita el tiempo para encontrar una solución y exige que las reglas que cada jugador indique en el tablero estén justificadas en su solución, pudiendo tomar de otro jugador las reglas que le sirvan.

18 Alcances y perspectivas de la investigación: Las pruebas aplicadas hasta el momento han resultado alentadoras, es imposible que dispongamos por el momento de una apreciación cuantitativa y cualitativa de los resultados.

19

20

21

22

23 12345161718196 152425207 142322218 131211109 O  (M  B) R  B O  R -------------------------  [( M  O)  R]  B) Simplificación (Simp.) P  Q -----------------------  P Absorción (Abs.) P  Q ----------------------- --  P  (Q  P) Modus Tollens (M.T.) P  Q  Q -----------------------  P Modus Ponens (M.P.) P  Q P ----------------------  Q Simplificación (Simp.) P  Q -----------------------  P Dilema Constructivo (D.C.) (P  Q)  (R  S) P  R -------------------  Q  S Conjunción (Conj.) P Q ----------------------  P  Q Conjunción (Conj.) P Q ----------------------  P  Q Simplificación (Simp.) P  Q -----------------------  P Modus Ponens (M.P.) P  Q P ----------------------  Q Conjunción (Conj.) P Q ----------------------  P  Q Silogismo Hipotético (S.H.) P  Q Q  R ------------------------- -  P  R Adición (Ad.) P ----------------------- --  P  Q

24

25 12345678910 1112131415 1617181920 2122232425 O  (M  B) R  B O  R -------------------------  [( M  O)  R]  B) Simplificación (Simp.) P  Q -----------------------  P Modus Tollens (M.T.) P  Q  Q -----------------------  P Simplificación (Simp.) P  Q -----------------------  P Simplificación (Simp.) P  Q -----------------------  P Silogismo Hipotético (S.H.) P  Q Q  R -----------------------  P  R Conjunción (Conj.) P Q ----------------------  P  Q Absorción (Abs.) P  Q ----------------------- --  P  (Q  P) Modus Ponens (M.P.) P  Q P ----------------------  Q Conjunción (Conj.) P Q ----------------------  P  Q Dilema Constructivo (D.C.) (P  Q)  (R  S) P  R -------------------  Q  S Adición (Ad.) P ----------------------- --  P  Q

26

27 12345161718196 152425207 142322218 131211109 O  (M  B) R  B O  R -------------------------  [( M  O)  R]  B) Simplificación (Simp.) P  Q -----------------------  P Modus Tollens (M.T.) P  Q  Q -----------------------  P Simplificación (Simp.) P  Q -----------------------  P Simplificación (Simp.) P  Q -----------------------  P Silogismo Hipotético (S.H.) P  Q Q  R -----------------------  P  R Conjunción (Conj.) P Q ----------------------  P  Q Simplificación (Simp.) P  Q -----------------------  P Adición (Ad.) P ----------------------- --  P  Q Dilema Constructivo (D.C.) (P  Q)  (R  S) P  R -------------------  Q  S Absorción (Abs.) P  Q ----------------------- --  P  (Q  P) Simplificación (Simp.) P  Q -----------------------  P

28 Al cerrarse un juego: Se desempatará con la siguiente tabla de valores. TABLA DE VALORES M.P.2D.N.1 S.H.2CONM.1 CONJ.3TAUT.2 SIMP.3TRANS.2 M.T.3ASOC.3 S.D.3EXP.3 ADIC.4EQUIV.3 D.C.4DE. M.4 ABS.4IMPL.4 DIST.5

29 De la siguiente manera: 12 9 GANA

30