Translate logic to English

First Order Logic Propositional Logic

First Order Logic

Individual Constants: a to g; Individual Variables: x to z; Predicate Letters: L to R; Maximum 2 arguments; Help & Examples


If ∴ is present in a formula the Prover9 automated theorem prover will be called and a proof will be returned