Indução - Elon Lages Lima

A LGICA PROPOSICIONAL Fernanda Pires da Silva1 e Jos Ricardo R. Zeni 2, 3 1 Curso de licenciatura em matemtica 2o ano e-mail [e-mail] 2 DMEC (Departamento de Matemtica, Estatstica e Computao) www.prudente.unesp.br/jrzeni/algebra_1/domino UNESP Campus de Presidente Prudente, SP Resumo Pblico Alvo este jogo destinado a todos aqueles que estudam a lgica formal, em particular, estudantes de matemtica e de computao do ensino superior. Ele tambm pode atrair o interesse de estudantes de cincias exatas em geral, inclusive aqueles do ensino mdio. Pr-requisitos para poder jogar, suficiente conhecer os conectivos lgicos (e, ou, negao, se...ento, ...se e somente se...) e saber trabalhar com expresses envolvendo esses conectivos. Como jogar de jogabilidade semelhante a um domin comum. O jogador procura entre suas peas aquelas que tem expresses com resultados equivalentes as expresses que esto nas pontas do jogo de domin. Objetivo este jogo tem por objetivo fazer com que o estudante de lgica adquira habilidade com o clculo proposicional. Assim ao jogar, o estudante naturalmente vai se familiarizar e memorizar algumas equivalncias notveis da lgica proposicional (DeMorgan, Propriedades de V ou F, Propriedades do Complementar, etc...). Experincia o jogo foi apresentado aos alunos da disciplina de lgebra I (diurno) e foram disponibilizados cinco jogos para emprstimo. Houve uma boa aceitao por parte dos alunos que utilizaram o jogo como ferramenta de estudo. O interesse demonstrado pelos alunos foi tanto que houve fila para emprstimo e tambm procura para saber como poderiam adquirir o domin. 1. Descrio do domin para lgica proposicional Como o jogo de domin comum, este domin possui 28 peas e um total de 56 expresses, duas para cada pea. Nmero de jogadores e distribuio das peas podem participar de 2 4 jogadores, cada jogador recebe 7 peas. Caso haja menos do que 4 jogadores, as peas restantes vo para um monte em separado. Resultados possveis