Olá, Eduardo: Fiquei com a impressão que isso não é bem semântica de jogos, mas sim algo aproximado aos jogos de back and forth entre modelos. Oponente busca em um modelo de controle possíveis contra-exemplos ao modelo proposto pelo Proponente. Quando contra-exemplos não podem mais ser encontrados, P acertou: há *isomorfismo parcial* entre os modelos apresentados.
Abraços Bruno Em sábado, 4 de junho de 2022 às 11:41:43 UTC-3, eduardoochs escreveu: > Oi todo mundo, > > quando eu fiz Introdução à Análise - na início da graduação, há mil > anos atrás - o professor usou uma espécie de semântica de jogos pra > nos ensinar a interpretar expressões com quantificadores... e ele > conseguiu apresentar isso de um jeito brilhante - ele falou sobre as > idéias centrais como se elas fossem "óbvias" e depois nós fomos > descobrindo os detalhes à medida que nós fazíamos os exercícios do > livro de Análise... > > Vocês fazem coisas parecidas? Quais são as referências preferidas de > vocês sobre usos _pedagógicos_ de semânticas de jogos pra ensinar > lógica básica? > > Tou perguntando porque eu tou usando uma espécie de semântica de jogos > no meu curso de Cálculo 2 - tá aqui, principalmente no exercício 2, > nos slides 9 e 10, > > http://angg.twu.net/LATEX/2022-1-C2-infs-e-sups.pdf#page=9 > > e tá funcionando muito bem, mas eu sei que eu tou reconstruindo de > forma improvisada coisas que foram publicadas em textos que eu nunca > li - e que eu gostaria de ler... > > Grat =), > Eduardo Ochs > http://angg.twu.net/ > http://angg.twu.net/2022.1-C2.html > http://angg.twu.net/2022.1-C3.html > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1c8ae6b0-0dfa-42ed-96b5-6208a7814367n%40dimap.ufrn.br.
