Translate proposition into natural equivalent statement

Assignment Help Mathematics
Reference no: EM132015773

Question 1

(i) Consider the different types of number systems: Binary, Decimal, Octal and Hexadecimal. From these types, identify the one to which each of the following numbers belongs?
(a) Your registration number
(b) Your mobile phone number
(c) Your birthday in numbers in the format of ddmmyyyy (for an e.g. if you are born in January 02nd in 2000 then the corresponding number is 02012000)

(ii) By showing all steps clearly, convert each number in part (i) to all other number systems.

Question 2

(i) Consider a propositional language where
• A ="Angelo comes to the party",
• B ="Bruno comes to the party",
• C ="Carlo comes to the party",
• D ="David comes to the party".

Formalize the following sentences:

(a) "If David comes to the party then Bruno and Carlo come too"
(b) "Carlo comes to the party only if Angelo and Bruno do not come"
(c) "David comes to the party if and only if Carlo comes and Angelo doesn't come"
(d) "If David comes to the party, then, if Carlo doesn't come then Angelo comes"
(e) "Carlo comes to the party provided that David doesn't come, but, if David comes, then Bruno doesn't come"
(f) "A necessary condition for Angelo coming to the party, is that, if Bruno and Carlo aren't coming, David comes"

(ii) Use the truth tables method to determine whether the formula (p ∧ ~q) → (p ∧ q) is a logical equivalence of the formula ~p

(iii) Let Loves(x,y) mean "x loves y", Traveler(x) mean "x is a traveler", City(x) mean "x is a city", Lives(x,y) mean "x lives in y"

(a) Translate the following proposition into the most natural equivalent statement in English.

∃x∀y∀z(city(x) ∧ Traveler(y) ∧ Lives(z, x)) → (Loves(y, x) ∧∼ Loves(z, x))

(b) Translate the statement: "No traveler loves the city they live in." into predicate logic.

* Need Only ONly the answers of the question number 2

Reference no: EM132015773

Questions Cloud

Compute what rate would you expect to see on a treasury bill : Suppose the real rate is 2.7 percent and the inflation rate is 4.3 percent. What rate would you expect to see on a Treasury bill?
Integral domain and that the identities are equal : Let S ? R be a subring and suppose R is an integral domain. Prove that S is an integral domain and that the identities are equal 1S = 1R.
What is the largest possible volume of such a box : We want to make a rectangular box which measures 9cm between its diagonal corners. What is the largest possible volume of such a box?
Finance Case Study - Tiffany & Co : Finance Case Study - Tiffany & Co. - 1993. This case study needs a solution that includes fact pattern, diagnostic, options and recommendations
Translate proposition into natural equivalent statement : ITE 1701 – Mathematics for IT - Consider the different types of number systems: Binary, Decimal, Octal and Hexadecimal. From these types, identify the one
What is inverse of a function : What is inverse of a function? What steps do use to finds the inverse of a function?
Determine kevin minimum payment on january 1 : Assuming there are no additional charges or cash advances, determine Kevin's minimum payment on January 1.
Find the proportion of students who will finish the exam : The lengths of time taken by students on an algebra proficiency exam (if not forced to stop before completing it) are normally distributed with mean
Determine the dimension of w : i) Assuming that W is a subspace of V , find a basis for W and thereby determine the dimension of W.

Reviews

Write a Review

Mathematics Questions & Answers

  Questions on ferris wheel

Prepare a Flexible Budget Gator Divers is a company that provides diving services such as underwater ship repairs to clients in the Tampa Bay area.

  Logistic map

This assignment has two question related to maths. Questions are related to bifurcation cascade and logistic map.

  Finding the probability of cards

This assignment has questions related to probabiltiy.

  Systems of ode

Find all the xed points, and study their stability and Draw the phase portrait of the system, as well as the graphs of the solutions in all relevant cases.

  Derive the boolean expression

Derive the Boolean Expression and construct the switching circuit for the truth table stated

  System of equations

Evaluate which equations are under-identified, just-identified, and over-identified.

  Linear programming problem

Linear programming problem consisting of only two constraints with one objective function.

  Find the natural domain

Find the natural domain of the given functions.

  Introduction to numerical methods

Compute the coecients of the polynomials using the term recurrence relation.

  Chart of the topological manifold

De?nition of smoothness of functions on a smooth manifold is chart independent and hence geometric.

  Mathematics in computing

Questions related on mathematics in computing.

  Complex problems

Complex problems

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