- #1
tribas
- 3
- 0
hi all,
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!
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!