Dúvida de Ensino

[Adolfo Neto]

Olá,

Peço que ignorem a dúvida caso esteja fora do escopo da lista.

Quando vocês ensinam algum sistema dedutivo (Tablôs Analíticos, Dedução Natural, etc.), e um aluno "cria" uma regra que até faz sentido, por exemplo.

Num exercício ou prova, em vez de fazer, em Tablôs Analíticos:

      T !A->B

F !A           T B

T A

A pessoa faz 

​      T !A->B

T A           T B

pois entende que F !A vai virar T A mesmo logo depois.​

​O que você fazem?​

​A) Consideram a questão errada

B) Consideram a questão certa se o resto do desenvolvimento estiver certo

C) Consideram a questão certa apenas se a pessoa definir a nova regra a partir das regras previamente estabelecidas.

Se nenhuma destas, o que fazem?

Grato,

Adolfo 

 ​

--

==================================================================
Adolfo Neto

Assistant Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[Walter Carnielli]

olá Adolfo,
Não é questão que está errada,  é o método!
Na na minha opinião, letra C ( a menos que se demonstre que a regra é admissível).
Abs
Walter

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVsbJWAso0_SusxO7qM4w%3DXTBZcxZuceW3JNbCj4OsFsg%40mail.gmail.com.

[Joao Marcos]

Meu voto vai para C.  Muito se pode aceitar se acompanhado de uma boa justificativa.

JM

--

[Adolfo Neto]

Obrigado pelo feedback de todos.

No momento estou ensinando Tablôs Analíticos e é geralmente neste contexto que aparece o problema que descrevi.

Fiz um post no meu blog sobre o que leciono e como leciono, incluindo links para alguns vídeos experimentais:

https://qeondb.blogspot.com.br/2016/09/tablos-analiticos-para-logica.html

[Adolfo Neto]

Walter, 

lembrei exatamente de você quando pensei na alternativa C, pois em algum dos seus papers, acho que com o Mamede, você falava da possibilidade de definir uma nova regra desde que ela fosse admissível em relação às outras regras.

Meu medo é que os alunos não consigam fazer nem uma coisa (seguir fielmente as regras fixas) nem outra (definir novas regras adequadamente). Mas tenho que experimentar.

Abs.

Adolfo

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVsbJWAso0_SusxO7qM4w%3DXTBZcxZuceW3JNbCj4OsFsg%40mail.gmail.com.

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Pt25SSpiNnRLo5Wz%3Ds%3Diy9DdfKRib8pysG%3Dor1K7Vrqw%40mail.gmail.com.