Recent content by tribas

ok thanks very much

thanks very much stephen! I am not skilled at all with manipulating operators, so cannot do the proof myself. Can you suggest a website or textbook I could look at that would help?

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...