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

556 users

0 votes

I have a doubt regarding sequent calculus, 

We need to check whether this formula is valid or not,    (b<->(b->b)<->c)|b 

What I have done is, simplified the equation then i got , !b&!c|b . Can i use this then to check the validity. I could not find any formula for <-> in the sequent calculus, that why i reduced the formula. Is that okay to simplify the formula ?

in # Study-Organisation (Master) by (2.7k points)

1 Answer

+1 vote
 
Best answer
We have introduced operators other than negation, conjunction and disjunction as macros. You must therefore expand them to apply the rules of the sequent calculus. Apart from that, you should not make simplifications, since otherwise, you may already solve the problem without using sequent calculus at all. The above formula is however quite difficult for the sequent calculus (I mean to handle manually).
by (170k points)
selected by
Thanks for the clarification.

Related questions

Imprint | Privacy Policy
...