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 here, does the left of <-> lead to 4 paths? Could you please verify this?

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

1 Answer

+1 vote
 
Best answer

The rules used in the table are

  • a<->b := a&b | !a&!b (for the left)
  • a<->b := (a->b) &| (b->a) (for the right)
  • Each one of these rules branches into two subgoals, why do you think that there are four? 

by (170k points)
selected by
I understood that..I thought a, b|- {} is, path a and path b|-{}.
Thanks for the clarification

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...