Logic Homework

Translation of statements from natural language and natural language statements into propositions in the

symbolic language of PL.