- #1
Marie120
- 4
- 0
Good evening. Would anybody in this room be able to help me with an SD+ question?
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}
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}
Last edited: