>>66472
They are not different, anon… You could rewrite it like this:
1. For all X people, if plumber(X) then canswim(X).
2. For all X people, if bob(X) then canswim(X).
3. Therefore: For all X people, if bob(X) then plumber(X).
1. For all X people, if kind(X) then socialist(X).
2. For all X people, if bob(X) then kind(X).
3. Therefore: For all X people, if bob(X) then socialist(X).
If we replace them with single letters:
1. For all X people, if a(X) then c(X).
2. For all X people, if b(X) then c(X).
3. Therefore: For all X people, if b(X) then a(X).
1. For all X people, if a(X) then c(X).
2. For all X people, if b(X) then a(X).
3. Therefore: For all X people, if b(X) then c(X).
Do you want me to do proofs for them?