Hi!(adsbygoogle = window.adsbygoogle || []).push({});

I have an argument and I have to prove the validity of all possible ways.

I have proved by logical implication, tautology, contradiction and contrapositive, butthe problem is reduced to prove the hypothesis by logical equivalences and implications.

The reasoning is as follows:

[P->(L->M)]^L^M -> ¬P

I've tried to do the following:

[P-> (L-> M)] ^ L ^ M

<=> [(P ^ L) -> M] ^ L ^ M {Export}

<=> (¬ ¬ P v L v M) ^ L ^ M {Involvement and Morgan}

From here not continue, and I've tried other ways and always came to the same and not continue.

Could anyone help me out?

Thanks! ;)

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

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

# Help with discrete Mathematics

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Help discrete Mathematics | Date |
---|---|

Discrete Mathematics - Symmetric Closure Math help in Numerical Analysis, Systems of | Sep 24, 2011 |

About Discrete Probability~ Help! | Nov 17, 2010 |

Discrete choice probability equation help (in pre-algebraic terms please)? | Jun 9, 2010 |

Discrete math proofs help. | Mar 24, 2009 |

Discrete Probability and Distribution need help to understand the topic. | Sep 1, 2008 |

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