 WIN A SCHOLARSHIP OF 10000!

APPLY NOW HERE JOIN FREE WEBINAR

An unparalleled, New approach On creative thinking and problem solving.

The Eduladder is a community of students, teachers, and programmers just interested to make you pass any exams. So we help you to solve your academic and programming questions fast.
Watch related videos of your favorite subject.
Connect with students from different parts of the world.
See Our team
Wondering how we keep quality?
Got unsolved questions?

COMPAILER-DESIGN-10CS63-VTU-NOTES-UNIT-2-->View question

Consider the first-order logic sentence φ ≡ ∃s∃t∃u∀v∀w∀x∀y ψ(s,t, u, v, w, x, y) where ψ(s,t, u, v, w, x, y) is a quantifier-free first-order logic formula using only predicate symbols, and possibly equality, but no function symbols. Suppose φ has a model with a universe containing 7 elements. Which one of the following statements is necessarily true?

(A) There exists at least one model of φ with universe of size less than or equal to 3.
(B) There exists no model of φ with universe of size less than or equal to 3.
(C) There exists no model of φ with universe of size greater than 7.
(D) Every model of φ has a universe of size equal to 7.

Taged users:

Likes:
Be first to like this question

Dislikes:
Be first to dislike this question

Quick logic review -

$\alpha :\mathrm{\forall }x\mathrm{\exists }y\phantom{\rule{.5em}{0ex}}y

Is $\alpha$ true for domain of all integers ?, Yes it is true. You pick any number $x$, I can always give you $y$ that is less than your number $x$

Is $\alpha$ true for domain of  Non Negative integers $\left\{0,1,2,3,\dots \right\}$ ? No,  it is not true. (You pick any number $x$) If you pick $0$ then I can not give you $y$ which is less than $0$.

Definition of  - Domain for which my sentence is true. For above sentence $\alpha$all integers is model and there can be many other models, like -  real numbers.

(Definition of Domain for which my sentence is False.)

Likes:
Be first to like this answer

Dislikes:
Be first to dislike this answer

Watch more videos from this user Here

Learn how to upload a video over here

Lets together make the web is a better place

We made eduladder by keeping the ideology of building a supermarket of all the educational material available under one roof. We are doing it with the help of individual contributors like you, interns and employees. So the resources you are looking for can be easily available and accessible also with the freedom of remix reuse and reshare our content under the terms of creative commons license with attribution required close.

You can also contribute to our vision of "Helping student to pass any exams" with these.