Hi, I am having trouble showing that(adsbygoogle = window.adsbygoogle || []).push({});

{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.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Logics Problem

**Physics Forums | Science Articles, Homework Help, Discussion**