English to Logic
www.cs.miami.edu › Content › EnglishToLogicAlmost directly copied from Peter Suber's Translation Tips. Propositional Logic; 1st Order Logic. Singly General Monadic; Multiply General Monadic; Polyadic. In this hand-out I treat the notation of truth-functional propositional logic and first-order predicate logic as a language, and give guidance on translating from English into this foreign language.