Recent content by tribas

  1. T

    Undergrad Logic question (conjunction of implications)

    ok thanks very much
  2. T

    Undergrad Logic question (conjunction of implications)

    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?
  3. T

    Undergrad Logic question (conjunction of implications)

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