Good evening. Would anybody in this room be able to help me with an SD+ question?(adsbygoogle = window.adsbygoogle || []).push({});

My question is as follows:

Show that the following set of sentences is inconsistent in SD or SD+:

{(~C v (E & P)) (triple bar) B, ~E > ~C, ~(P & B) & ~(~P & ~B), B > C}

**Physics Forums - The Fusion of Science and Community**

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

# Symbolic Logic - Help

Loading...

Similar Threads - Symbolic Logic Help | Date |
---|---|

Symbolic logic help (proofs) | Oct 17, 2010 |

Symbolic Logic (quick easy question) | Apr 5, 2010 |

Symbolic logic help please, please! | Nov 15, 2007 |

Need help with verification of 5 symbolic logic sentences | Nov 9, 2007 |

**Physics Forums - The Fusion of Science and Community**