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
There has been a question asked in the 2017 August exam paper (2.e) on Universal Quantification. How is this problem on Universal Quantification solved?
in # Study-Organisation (Master) by (300 points)

1 Answer

0 votes
Universal quantification of a formula phi over a variable x is defined as the conjunction of the cofactors on that variable, i.e., phi[x<-true] & phi[x<-false]. You can also reduce it to the existential quantification as follows: Forall(x1...xn,phi) = not(Exists(x1...xn,not phi) and then you can use the Exists algorithm as you find it in the slides. Another alternative is to implement the Forall algorithm as the dual of the Exists algorithm (it is essentially the same except that for using Apply with a disjunction you need Apply with a conjunction).
by (170k points)

Related questions

0 votes
1 answer
asked Aug 24, 2020 in # Study-Organisation (Master) by skkumar (300 points)
0 votes
1 answer
asked Aug 16, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
Imprint | Privacy Policy
...