hi all,(adsbygoogle = window.adsbygoogle || []).push({});

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, inclassicallogic, 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!

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Logic question (conjunction of implications)

Loading...

Similar Threads for Logic question conjunction |
---|

A About the “Axiom of Dependent Choice” |

B Linear logic, what is it? |

Logic & science |

B What is the usefulness of formal logic theory? |

B Conditional Probability, Independence, and Dependence |

**Physics Forums - The Fusion of Science and Community**