Represent the sentences by predicate calculus

Assignment Help Computer Engineering
Reference no: EM132144503

Question :

A swimmer is an athlete. Any athlete, who participatedin the 2016 Summer Olympics and won a gold medal, was joyful. Any athlete, who is the world top athlete or a selected well-trained athlete, participatedin the 2016 Summer Olympics.

Any time any participating athlete, who is performed the best in thefinal competition for a game, wins a gold medal for that game. Michael Phelps is one of the world top swimmer who wined many medals in past.

He performed the best in the three games of Men's 4X100m freestyle relay, Men's 200 m butterfly, and Men's 200m individual medley at the 2016 Summer Olympics in Rio de Janeiro from August 5 to 21, 2016.. Whether Michael Phelps was joyful when he won the gold medals?

Represent the sentences by predicate calculus

Turn them into clause form

Using resolution and unification to prove that Michael Phelps was joyful.

Reference no: EM132144503

Questions Cloud

Estimate the cost of equity for the company : Using the Capital Asset Pricing Model, estimate the cost of equity for the following company. Assume rate on unsecured corporate bonds
Determine the output technology : Describe a scenario in which the distribution of users determine the output technology.
What is the internal rate of return : a. What is the internal rate of return? (Do not round intermediate calculations. Enter your answer as a percent rounded to 2 decimal places.)
Calculate the net present value the cost of capital : Calculate the net present value if the cost of capital is 12 percent.
Represent the sentences by predicate calculus : A swimmer is an athlete. Any athlete, who participatedin the 2016 Summer Olympics and won a gold medal, was joyful.
What is the expected return of a portfolio : What is the expected return of a portfolio with 25% invested in UK stock and 75% in the U.S. if the U.S. return was 15% and the UK was 12%?
What is the cost of equity under capm : a) What is the cost of equity under CAPM? b) What is the appropriate WACC for this opportunity?
Would you need completely new technology : Think about your own university or college and choose an idea that could improve student satisfaction with the course enrollment process.
What are the after-tax cash flows associated : a) What are the after-tax cash flows associated for each relevant period?

Reviews

Write a Review

Computer Engineering Questions & Answers

  Mathematics in computing

Binary search tree, and postorder and preorder traversal Determine the shortest path in Graph

  Ict governance

ICT is defined as the term of Information and communication technologies, it is diverse set of technical tools and resources used by the government agencies to communicate and produce, circulate, store, and manage all information.

  Implementation of memory management

Assignment covers the following eight topics and explore the implementation of memory management, processes and threads.

  Realize business and organizational data storage

Realize business and organizational data storage and fast access times are much more important than they have ever been. Compare and contrast magnetic tapes, magnetic disks, optical discs

  What is the protocol overhead

What are the advantages of using a compiled language over an interpreted one? Under what circumstances would you select to use an interpreted language?

  Implementation of memory management

Paper describes about memory management. How memory is used in executing programs and its critical support for applications.

  Define open and closed loop control systems

Define open and closed loop cotrol systems.Explain difference between time varying and time invariant control system wth suitable example.

  Prepare a proposal to deploy windows server

Prepare a proposal to deploy Windows Server onto an existing network based on the provided scenario.

  Security policy document project

Analyze security requirements and develop a security policy

  Write a procedure that produces independent stack objects

Write a procedure (make-stack) that produces independent stack objects, using a message-passing style, e.g.

  Define a suitable functional unit

Define a suitable functional unit for a comparative study between two different types of paint.

  Calculate yield to maturity and bond prices

Calculate yield to maturity (YTM) and bond prices

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd