Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
I have doubt regarding sequent calculus. How can i find the counter example? I have written down the solution with counter examples, could you please help to solve this problem?
check the validity of !!((c->a)->b)