Recent content by gabwind

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.