Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
557 users
Hi,
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)
Thanks