Slide the symbols to create sentences in PL, PPL, RPL! The links below let you arrange the propositions or predicates along with connectives, quantifiers and variables to make symbolizations for the given sentences. The 'submit' button then lets you check your answer, and pinpoint any mistakes you may have made.
To begin, select any of the sentences below, then choose the proposition or quantifier that should appear first in the symbolization. Place this directly above the asterisk on the page, then drag the next symbol until it appears next to the first. Continue until the sentence is complete, then press the 'submit' button to test the result.
NB: The results are tested very strictly, and logically equivalent symbolizations are not accepted. Please use the strategies presented in Meaning and Argument, and follow the structure of the given sentence as closely as possible.
Propositional Logic (PL)
Property Predicate Logic (PPL)
Relational Predicate Logic (RPL)