Find a Model for a Set of Propositions

show results

language of predicates

Slovenian

English

number of elements

4

number of statements 1

2

number of statements 2

4

Make a model in which all statements are true!

shape

1

2

3

magnitude

1

2

3

color

empty

add new figure

remove last figure

try again

¬White (B)  Pentagon (C)
¬(Medium (D) ∧ ¬Square (A))
Triangle (B) ⊻ LeftOf(D,C)
¬(¬Medium (D) ⇔ Larger(C,C))
Gray (B) ⇔ Larger(C,C)
¬Small (D) ⇔ RightOf(A,D)

In this Demonstration, aim to build a model for the set of statements—that is, a structure (or world) in which all the statements are true. If that is possible, the set of statements is consistent.