Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

524 users

0 votes
Hello,

What is the purpose of the Exsits-Algorithm?
in # Mandatory Modules Bachelor by (230 points)

1 Answer

0 votes

In general, boolean quantification is defined as follows:

  • ∃x. Phi := Phi[x<-0] ⋁ Phi[x<-1]
  • ∀x. Phi := Phi[x<-0] ∧ Phi[x<-1]
In case of existential quantification, it says that Phi holds for some variable assignment where we don't care about the value of x (whether it is either 0 or 1) in the sense that at lease of the values 0,1 for x will extend the variable assignment to satisfy Phi. In case of the universal quantification it says that there must be an assignment for the rest of the variables so that assigning both values x<-0 and value x<-1 (one at a time, of course) will both satisfy the formula.
by (165k points)

Related questions

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