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

Question

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

anonymous · Answer

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