Consider the following argument.
1) People who write novels are more sensitive than people who play soccer. 2) Alf writes novels. 3) Brian plays soccer.
Conclusion: 4) Alf is more sensitive than Brian.
Here is how you formalise this argument using predicate logic (many thanks to Mauro Allegranza):
1) ∀x∀y((Nx & Sy) ⊃ Mxy) 2) Na 3) Sb Conclusion: 4) Mab
M= more sensitive than N= writes novels S= plays soccer a= Alf b= Brian
If I had to formalise (1)-(4) using propositional logic it would be: 1) p 2) q 3) r Conclusion: 4) s.
That is, we would have 4 different propositions with no links between them. Am I right?
Thank you very much