Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

Pls Answer Both of them. Don't Copy paste from other solution. If you do I will down vote . If you do it by yourself

image text in transcribedPls Answer Both of them. Don't Copy paste from other solution. If you do I will down vote. If you do it by yourself I will Surely give two upvotes from my two accounts.

Problem 3: Logic [12 Points) The following statements are given: "If Pikachu is a Pokmon, then it is imaginary. But if it is not a Pokmon, then it is real (not imaginary) and it is a rodent. If Pikachu is either imaginary or a rodent, then it has a tail. If it has a tail, Pikachu has super powers. i. Write down each sentence in propositional logic ii. Now convert each of the sentences to CNF ii. From the above CNF clauses, use Resolution to prove (or disprove) the following statement - "Pikachu has a tail and has superpowers Problem 4: First Order Logic [8 points) For each English sentence below, write the first-order logic sentence that best expresses its intended meaning. Use Person(x) for x is a person, Food(x) for x is food, and Likes(x, y) for x likes y. For example. For every food, there is a person who likes that food. Can be written as: Vx Food(x) = (y Person(y) A Likes(y, x)] i. "There is a person who likes every food. Some person likes some food. "There is a food that every person likes. For every person, there is a food that the person likes. 111. iv

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Excel As Your Database

Authors: Paul Cornell

1st Edition

1590597516, 978-1590597514

More Books

Students also viewed these Databases questions