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
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.
Objetivo del juego:
Incremento de habilidades en:
Manipulación de reglas
Capacidad para hallar varias
estrategias
Descripción del Juego:
Dicho instrumento es un juego de
mesa dirigido a quienes tengan
deseo de ejercitar habilidades
lógicas
Para jugar es necesario:
Un conocimiento básico de
las reglas de
INFERENCIA Y REEMPLAZO
De un tablero
De un mazo de problemas
De un mazo de reglas de inferencia
De un mazo de reglas de reemplazo
De cuadernos u hojas donde los
jugadores realicen sus estrategias
Es importante que el jugador
pueda elaborar varias estrategias
Cómo se juega
Existen dos niveles:
El primero dedicado a reglas de
Inferencia y el segundo a
Inferencia y Reemplazo
Creemos que se
aplicar 4 modalidades.
pueden
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.
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.
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.
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.
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.
1
2
3
O  (M  B)
RB
OR
------------------------[( M  O)  R]  B)
4
5
Simplificación
(Simp.)
PQ
----------------------P
Absorción (Abs.)
PQ
-----------------------P  (Q  P)
16
17
18
19
Silogismo Hipotético
15
(S.H.)
PQ
QR
------------------------PR
24
25
20
14
23
22
21
Modus Ponens13
(M.P.)
PQ
P
---------------------Q
Simplificación
(Simp.)
PQ
----------------------P
11
10
Conjunción (Conj.)
P
Q
---------------------P  Q
Adición (Ad.)
P
-----------------------P  Q
Conjunción (Conj.)
P
Q
---------------------P  Q
12
Conjunción (Conj.)
P
Q
---------------------P  Q
6
Modus Tollens (M.T.)
PQ
Q
---------------------- P
Modus Ponens 7
(M.P.)
PQ
P
---------------------Q
8
Simplificación
(Simp.)
PQ
----------------------P
9
Dilema Constructivo
(D.C.)
(P  Q)  (R  S)
PR
------------------QS
1
2
3
4
5
Modus Tollens
(M.T.)
PQ
Q
---------------------- P
O  (M  B)
RB
OR
------------------------[( M  O)  R]  B)
Simplificación
(Simp.)
PQ
----------------------P
7
Silogismo
8
Hipotético (S.H.)
PQ
QR
----------------------PR
Conjunción (Conj.)
P
Q
---------------------P  Q
12
Dilema
13
Constructivo (D.C.)
(P  Q)  (R  S)
PR
------------------QS
Adición (Ad.)
P
-----------------------P  Q
14
15
16
17
18
19
20
21
22
23
24
25
6
Simplificación
(Simp.)
PQ
----------------------P
Simplificación
(Simp.)
PQ
----------------------P
Modus Ponens 11
(M.P.)
PQ
P
---------------------Q
Conjunción (Conj.)
P
Q
---------------------P  Q
9
10
Absorción (Abs.)
PQ
-----------------------P  (Q  P)
1
2
3
O  (M  B)
RB
OR
------------------------[( M  O)  R]  B)
4
Simplificación
(Simp.)
PQ
----------------------P
5
Modus Tollens
(M.T.)
PQ
Q
---------------------- P
16
17
18
19
15
24
25
20
14
23
22
21
Silogismo
8
Hipotético (S.H.)
PQ
QR
----------------------PR
13
Absorción (Abs.)
PQ
-----------------------P  (Q  P)
Dilema
12
Constructivo (D.C.)
(P  Q)  (R  S)
PR
------------------QS
10
Conjunción (Conj.)9
P
Q
---------------------P  Q
Simplificación
(Simp.)
PQ
----------------------P
11
Adición (Ad.)
P
-----------------------P  Q
Simplificación
(Simp.)
PQ
----------------------P
6
Simplificación
(Simp.)
PQ
----------------------P
7
Simplificación
(Simp.)
PQ
----------------------P
Al cerrarse un juego:
Se desempatará con la siguiente
tabla de valores.
TABLA DE VALORES
M.P.
2
D.N.
1
S.H.
2
CONM.
1
CONJ.
3
TAUT.
2
SIMP.
3
TRANS.
2
M.T.
3
ASOC.
3
S.D.
3
EXP.
3
ADIC.
4
EQUIV.
3
D.C.
4
DE. M.
4
ABS.
4
IMPL.
4
DIST.
5
De la siguiente manera:
12
9
Descargar

Para jugar es necesario: