Propositional Logic Puzzle Generator

show solution

language of predicates

Slovenian

English

number of elements

3

number of statements

7

help

try again

This Demonstration shows a propositional logic generator. A simple two-dimensional world is inhabited by triangles, squares, and pentagons, each with three sizes and two colors. The task is to find labels for the figures. We are given the truth values of some statements about the world.