WOLFRAM NOTEBOOK

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.
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.