Predicate logic/Different literary quotes/2/Exercise

Formulate the following statements using suitable predicates. Formulate also the negation of the statements (colloquial as well as formally).

1. All birds are already here.
2. All streets lead to Rome.
3. Idleness is the beginning of all vice.
4. All humans become brothers, Where thy gentle wing abides.

Create a solution