Hei,

Skal bevise at utsagnet (not Q) -> (R -> not (P and Q)
Har allerede bevist dette ved hjelp av en sannhetstabell og skal nå bevise det ved å bruke selvmotsigelse eller proof by contradiction. Problemet er bare at jeg ikke aner hvordan jeg begynner

Noen tips?