Express the statement as a disjunction in dnf, Mathematics

Assignment Help:

State the following statement as a disjunction (in DNF) as well using quantifiers:     

There does not exit a woman who has taken a flight on each airline in the world.

Ans: Let us describe the propositions. 

Woman (x): "x is woman"

Flight (x, y): "x has taken flight on every airline y in world".

Now the following statement can be expressed as

~[∃x Woman (x) ∧ ∀y Flight (x, y)]

= ~∀y ∃x [Woman (x) ∧ Flight (x, y)]

= ∃y ∀x [~Woman (x) ∨ ~Flight (x, y)]


Related Discussions:- Express the statement as a disjunction in dnf

Quadratic equation, What do we mean by the roots of a quadratic equation ?

What do we mean by the roots of a quadratic equation ?

Dynamic and kinematic viscosity , Tabulated values of the dynamic and kinem...

Tabulated values of the dynamic and kinematic viscosity of aqueous sodium chloride solutions have been researched in the academic literature (Kestin et al 1981). The data availab

Retail price index, Retail price index This is weighted average of pri...

Retail price index This is weighted average of price relatives based on an average household in the base year. The items consumed are divided into groups as liker food, transp

Determine the determinant of matrix, Example Determinant:   Determine ...

Example Determinant:   Determine the determinant of each of the following matrices. Solution : For the 2 x 2 there isn't much to perform other than to plug this in

Find the quotient and remainder, Question: Find the quotient and remain...

Question: Find the quotient and remainder when f(x) = x 5 - x 4 - 4x 3 + 2x + 3 is divided by g(x) = x-2. Make sure the quotient and remainder are clearly identified.

Triangles, about scalene,equilateral and isosceles.

about scalene,equilateral and isosceles.

Standardization of variables, Standardization of Variables - Before we...

Standardization of Variables - Before we use the general distribution curve to determine probabilities of the continuous variables, we require standardizing the original units

Interpretation, Interpretation A high value of r as +0.9 or - 0...

Interpretation A high value of r as +0.9 or - 0.9 only shows a strong association among the two variables but doesn't imply that there is a causal relationship that is

Maxima and minima, Maxima and Minima We have to make a distinctio...

Maxima and Minima We have to make a distinction between relative maxima (or minima) and global maxima (or minima). Let f(x) be a function of x. Then the global maxi

Quadratic equation modeling profitability, Sam''s sport''s equipment sells ...

Sam''s sport''s equipment sells footballs. They maximized their profitability last year at (6,4) where x represents employees and P(x) represents profitability. Sam noticed that wh

Write Your Message!

Captcha
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