I have 3 statements I want to convert into symbolic logic (P, Q, etc.)
All men are people. Some men are clever. Therefore, all people are clever.
First of all, I know this is illogical, but I'm trying to figure out how to show this using symbolic logic. Can I say:
P = men Q = people R = clever (All) P -> Q (Exist) P -> R ---------------- (All) Q -> R
It's easy to see that Q->R doesn't follow from this.
I realize the statements aren't in the "if, then" format, but it can be modified that way can't it? That is, if you are a man, then you are a person....etc.