0
$\begingroup$

I got my midterm back today and I got 0 on the following question. There was no comments on this question at all from the marker.

For propositional formulas A and B, prove (or disprove) that if $A\models \lnot B $ is true then $\vdash_H \lnot(A\rightarrow\lnot B)$

Can someone tell me if the answer is true or not?

  • 0
    I'm sure 1 mark is given for saying it's true or not and my proof was quite long.2012-11-27

1 Answers 1

1

Hint: Put $p$ for $A$ and $\neg p$ for $B$. Now ask: is $A\models \lnot B$ true? Is $\vdash_H \lnot(A\rightarrow\lnot B)$ true?

  • 0
    @user44322 What more did you write?2012-11-27