a)Consider the following formula,
∀x∀y(∃z(p(x, z) ∧p(z, y)) →g(x, y))
Use equivalences to construct a prenex normal form for the above wff. Show your work. Write down the
number and name of the equivalence used at each step.
b)Use equivalences to construct a prenex disjunctive normal form for the following wff. Show your work. Write down
the number and name of the equivalence used at each step.
∀x∃yp(x, y) →∃y∀xp(x, y)
c)Use equivalences to construct a prenex conjunctive normal form for the following wff. Show your work. Write down
the number and name of the equivalence used at each step.
∀x∀y∀z(p(x, y) ∧p(y, z) →p(x, z)) ∧∀x¬p(x, x) →∀x∀y(p(x, y) →¬p(y, x)).
this is a computer science question please answer accordingly give neat and detailed explaination.
Trending nowThis is a popular solution!
Step by stepSolved in 4 steps with 2 images
- 4. Show that (p → q) ∧ (p → r) and p → (q ∧ r) are logically equivalent using equivalencelaw.arrow_forwardDiscrete Matharrow_forwardQ: Use logical equivalences to show that (p → q) → (notq → notp) is a tautology. Could you please show me this without just stating C2 rule (ϕ → ψ ≡ notψ → notϕ) this is what we did in lecture but I am confused. (p → q) → (notq → notp) (p -> q) -> (p->q) not(p->q) v (p->q) (p->q) v not(p->q) Tarrow_forward
- Question 21 Please choose the proper answer.arrow_forwardp.609, icon at Example 2 #1. (a) Verify that the following is an equivalence relation on the set of real numbers: aRb → [a] = [b], where [x] is the floor of x. (b) Describe the equivalence classes arising from the equivalence relation in part (a).arrow_forwardshow the Using the substitution theorem and the important equivalences following equivalence. Use only one substitution/equivalence rule (such as absorption) per step and justify each step by name. ¬(¬p V (¬p ^ ¬q)) V ¬p = truearrow_forward
- please explain step by steparrow_forwardUse the Pumping Lemma to show that the the following language over {a,b,c}* is not CF {wct | t ∈ {a,b}* ∧ w is a substring of t}arrow_forward(1) Please show that each of the followings is not a valid rule about FD’s by giving a counter example. (Note that you are allowed to use only (a and b) two symbols to construct your tuples.) (a) If AB→C and A→C, then B→C. (b) If AB→C, then A→C or B→C. (database)arrow_forward
- Given the following premises: (1) ∀x (R(x) → S(x))(2) ¬S(c) Use modus tollens to derive the conclusion ¬R(c). Show your step-by-step reasoning.arrow_forwardThe solution is incorrect i asked for the answer to be using the logical equivalence Using the laws of logical equivalence show: ∀x ∈ U. (P (x) → ¬Q(x)) ≡ ¬∃x ∈ U. (P (x) ∧ Q(x) so could you please give me the asnwer using logical equivalencearrow_forwardQuestion For each of the following, determine whether argument is valid. You may use a counterexample or equivalence transformations to justify your answer. (a) P→ q (b) (c) קר :: 79 P→r q→r ¬(pv q) :: r P→r q→r qV¬r :: 19arrow_forward
- Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
- C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education