#Having trouble with a propositional proof

7 messages · Page 1 of 1 (latest)

round mossBOT
ripe valve
#

Since you want to prove ~(j -> d), then begin by assuming j -> d.

#

Then, start with two cases. Namely, suppose j and get a contradiction. Then assume ~j and do the same.

#

Certainly. Though it can take some work. By inference rules I presume you mean things like And Elimination or Or Introduction?

#

You could also prove j and ~d, as that is logically equivalent.

ripe valve
#

Ah, those kinds of rules.

#

Is this something you can use?