Formalizing Natural Language
Formalization for Propositional Logic
Heuristic: Pick the smallest declarative phrase without logical connectives (“and”, “or”, “if … then”, etc.), about which you can answer the question ‘Is it true or false?’. Using proposition symbols to represent these sentences, connect them with the relevant propositional connectives.
Our goal is to formalize all the details found in an English sentence while matching the form of the sentence as closely as possible so we can see the correspondence. “As closely as possible” means matching the order of the conjuncts, etc.
To judge whether a formalization of sentences is correct, build a Truth Table and make sure all the values are correct.
Formalization for English Language
This is just practice.