Plantejar en forma d'enigma si es poden deduir un conjunt de signes d'un altre conjunt de signes i establir una breu discussió entre tota la classe:
1.- ¿Podem deduir §§§ d' §?
2.- ¿i § de §§§?
3.- ¿i ß de §§§?
La tendència dels alumnes és respondre que depèn del que signifiquin, i l'objectiu d'aquesta activitat és mostrar que quan treballem amb derivacions lògiques no fem servir els significats per a res. El que importa són només les regles de derivació.
Suscribirse a:
Enviar comentarios (Atom)
Les màquines de Turing
Turing Bomber Machine Codebreaker Alan Turing és probablement l'ultim d'una llarga saga de pensadors que van formar part d'...
-
--- LA FRASE SEGÜENT ÉS FALSA LA FRASE ANTERIOR ÉS VERTADERA --- L'anterior és una de les modalitats de la paradoxa del mentide...
-
Turing Bomber Machine Codebreaker Alan Turing és probablement l'ultim d'una llarga saga de pensadors que van formar part d'...
-
L'any 1918, desprès de passar per diversos sanatoris mentals, moria a Alemanya Georg Cantor. Alguns creuen que havía embogit int...
No hay comentarios:
Publicar un comentario