For problems 3–4, let the universe of discourse be the set of all webpages. Let

Question

For problems 3–4, let the universe of discourse be the set of all webpages. Let W, B, and G be unary predicates, let L be a binary predicate, and use the following translations: W(x) means “x is W3C-compliant”, B(x) means “x is a blog, G(x) means “x is indexed by Google”, and L(x) means “x links to y.” Translate the following sentences into predicate logic formulas.

(h) Every webpage links to some W3C-compliant page.

(i) Every W3C-compliant page links to some page.

(j) Every W3C-compliant page links to some blog.

Explanation / Answer

h) there exist a x such that x is not even

i) for all x, if x is not even then x has two digits

j) there does not exist any x such that x is positive and x has two digits.

Related Questions

Navigate

• Browse (All)
• Browse F
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.