- #1
gabwind
- 1
- 0
Hi, I am having trouble showing that
{F > ~ G. ~ F > ~H, (~ F v G) & H}
is inconsistent in SD.
Also I don't understand how one can derive: ~ H
from: {(R v ~ H), (~ R v ~ H)}
I would be grateful to anyone who can help me understand these problems.
{F > ~ G. ~ F > ~H, (~ F v G) & H}
is inconsistent in SD.
Also I don't understand how one can derive: ~ H
from: {(R v ~ H), (~ R v ~ H)}
I would be grateful to anyone who can help me understand these problems.