All hounds howl at night. Anyone who has any cats will not have any mice. Light sleepers do not have anything that howls at night. John has either a cat or a hound. 1(a) Convert the statements above into a set of predicate formulae. 1(b) Convert the predicate formulae from Question 1(a) into Prenex Conjunctive Normal Form (PCNF). 1(c) Using General Resolution, prove that if John is a light sleeper, then John does not have any mice.

All hounds howl at night. Anyone who has any cats will not have any mice. Light sleepers do not have anything that howls at night. John has either a cat or a hound. 1(a) Convert the statements above into a set of predicate formulae. 1(b) Convert the predicate formulae from Question 1(a) into Prenex Conjunctive Normal Form (PCNF). 1(c) Using General Resolution, prove that if John is a light sleeper, then John does not have any mice.

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

Write the statement in predicates using quantifiers: All COVID-19 vaccines have not been sufficiently tested
Question 6 sm .Show that each of these conditional statements is a tautology by using truth tables. [¬p ∧ (p ∨ q)] → q Full explain this question and text typing work only We should answer our question within 2 hours takes more time then we will reduce Rating Dont ignore this line
3. The statement "3x E Z such that ¢ Q" is clearly false, but the statement "3x ER such that x 4 Q" is true. This shows that the domain of the quantifier matters. Now, give your own sim- ple example for the predicate P(x) such that "x E Z such that P(x)" is false but “x E R such that P(x)" is true. Avoid very similar predicates like "x ¢ Z" or "2x ¢ Q" as your answer.2
3
b) Given the following relations: A B C 1 5 7 4 9 r a TU В 8 10 6 11 S A В μ D 4 12 Find (i) the Cartesian product of r and s (rx s). (ii) the Cartesian product of r and s and then performing a selection operation on the result with the predicate r.A = s.A (Or.A-s.A (r x S)). (iii) the projection of A,C from relation r (IIA.c (r)). E 6 8
1. Let ?, ?, ? be the propositions? ∶ Grizzly bears have not been seen in the area.?: Hiking is safe on the trail.?: Berries are ripe along the trail.Write these propositions using ?, ?, ? and logical connectives.a) Berries are ripe along the trail, but grizzly bears have not been seen in the area.b) For hiking on the trail to be safe, it is necessary but not sufficient that berries not be ripe along the trail and for grizzly bears not to have been seen in the area.
1. Prove by induction that Vi > 1, (L*)' = L*. • Basis: ? • Inductive Hypothesis: ? • Complete the rest of the proof: ?
Computer Science Please make sure your answer is legible Use First order Predicate Logic (FOPL) to represent the following English sentences. Make up appropriate predicates in each case. a) He only likes women that do not like him. b) Some of the women he likes do not like him.
Let D be a set of dogs including the particular dogs Cardie (c) and Duncan (d). Define the following predicates on D: W(x) means "dog a likes walks", T(x) means “dog æ is a terrier", R(x) means "dog x is a Rottweiler", and S(x, y) means "dog a is smaller than dog y" or equivalently “dog y is larger than dog r". Using the first five of the statements below, prove the last statement using quantifier rules. (Translate the statements into symbolic ones before you start.) • Duncan is a terrier. • All terriers are smaller than Cardie. • Cardie is smaller than some Rottweiler. • If a first dog is smaller than a second dog, and the second is smaller than a third dog, then the first dog is smaller than the third. • All dogs like walks. • There is a Rottweiler who is larger than some terrier who likes walks.
1. Use resolution to determine if the following arguments are valid. Use the predicates suggested.
Let F(x, y) be the predicate " can fool y". Select the statement below which is the English translation of VyZæ→ F(x, y). There is someone whom everyone can fool. No one is fooled by anyone. No one is fooled by everyone. Everyone has someone who can fool them.
2. Using the given predicate definitions, express the following as a predicate formula. The universe of discourse (the set of all possible values applicable to predicate variables) is given to be the set of human beings. S(r, y) - True only if z is the sibling of y F(1, y) - True only if r is the father of y "If there are two individuals who are siblings then they have the same father". (hint xou may have to use equality predicate)