Resumen de Modelos Proposicionais
- English
I introduce “Propositional Models”, a card game in which each card contains a formula of Classical Propositional Logic. This game aims to teach the notion of logical consistency, and its design is guided by considerations about the semantic information conveyed by the formulas in the cards.
- português
Apresento “Modelos Proposicionais”, um jogo de cartas no qual cada carta contém uma fórmula da Lógica Proposicional Clássica. Esse jogo visa o ensino da noção de consistência lógica, e seu projeto é guiado por considerações sobre a informação semântica veiculada pelas fórmulas nas cartas.
