- #1

- 3

- 0

I'm no logician but am interested in sorting out this problem.

Say you've shown that

1. x implies y

and

2. z implies w

what steps/assumptions are required, in

*classical*logic, to get from 1&2 to:

3. x&z implies y&w

Do the steps require some sort of separability assumption, or something of the sort?

Thanks!