Ask your own question, for FREE!
Computer Science 22 Online
OpenStudy (anonymous):

PROPOSITIONAL LOGIC!! : I have to use a propositional tableau to test if the following collection is consistent (I don't know how to use the right symbols :@) {p -> ( q or r), q -> q, not r} I please just need to know where to start, help will be really appreciated..

OpenStudy (anonymous):

the second predicate:is it q->q or something else?????????

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!