This tool allows you to determine which ground atomic sentences are logically entailed by collections of sentences in Relational Logic. At this point, the language is restricted to one binary relation constant (p) and four object constants (1, 2, 3, 4). If you enter sentences in the text box and press Evaluate, the system will update the Logic grid accordingly. A green check in row 2 and column 3 means that that the specified sentences logically entail p(2,3). A red ex means that ~p(2,3) is logically entailed. The absence of any mark means that neither the sentence nor its negation is entailed. If the specified sentences are inconsistent, all cells will contain green check marks.