WOLFRAM|DEMONSTRATIONS PROJECT

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.