Help with discrete Mathematics

  • Thread starter catala
  • Start date
  • #1
5
0
Hi!

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, but the 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! ;)
 

Answers and Replies

Related Threads on Help with discrete Mathematics

  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
2
Views
2K
Replies
4
Views
723
Replies
1
Views
6K
  • Last Post
Replies
3
Views
4K
Replies
7
Views
4K
  • Last Post
Replies
6
Views
2K
Top