O jogo das cartas lógicas de Shiver

Anthony Shiver (2013) desenvolveu dois jogos de cartas lógicas para a prática da derivação no contexto da Lógica Proposicional Clássica. Embora ele tenha apresentado os contornos gerais desses jogos, muitos detalhes do desenho deles estão faltando. Neste artigo proponho uma metodologia para o desenho detalhado do primeiro dos jogos de Shiver. Esta metodologia utiliza uma abordagem informacional para a seleção das cartas do baralho, que conforma-se a critérios de alcançabilidade de cada carta e de balanço entre elas.