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).
- All birds are already here.
- All streets lead to Rome.
- Idleness is the beginning of all vice.
- All humans become brothers, Where thy gentle wing abides.