$14.$Consider the following sentences:

"All humans need food."

"Herman is a human."

"Therefore, Herman needs food."

For the purpose of formal reasoning, is propositional calculus sufficient to represent the statements above, or would we need to use the framework of predicate calculus instead?

Answer clearly which one is sufficient and provide one further sentence to give a reason for your choice.