Software
Propositional logic test
Autor
Hafner, Izidor
Resumen
This Demonstration gives a propositional logic test. A simple two-dimensional world is inhabited by triangles, squares, and pentagons with three sizes and two colors. The task is to find truth values for ten statements about the world Componente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática