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

Poisson mathematical properties, Poisson Mathematical Properties 1. Th...

Poisson Mathematical Properties 1. The expected or mean value = np = λ Whereas; n = Sample Size p = Probability of success 2. The variance = np = ? 3. Standard dev

Finding the LCM, what is the LCM of 18, 56 and 104 show working

what is the LCM of 18, 56 and 104 show working

Compute the measure of the larger angle, Two angles are supplementary. The ...

Two angles are supplementary. The evaluate of one is 30 more than twice the measure of the other. Determine the measure of the larger angle. a. 130° b. 20° c. 50° d. 70

Matrices, Consider the following linear equations. x1-3x2+x3+x4-x5=8 -2x1+...

Consider the following linear equations. x1-3x2+x3+x4-x5=8 -2x1+6x2+x3-2x4-4x5=-1 3x1-9x2+8x3+4x4-13x5=49

Differential calculus finding limits, how can i evaluate this lim of x as x...

how can i evaluate this lim of x as x approaches to a

Logarithmic function:solve for x: 4 log x2, Solve for x: 4 log x = log (15 ...

Solve for x: 4 log x = log (15 x 2 + 16) Solution:              x 4 - 15 x 2 - 16 = 0                (x 2 + 1)(x 2 - 16) = 0                x = ± 4   But log x is

Mathematical model representing the total parking cost, John has a choice o...

John has a choice of using one of two parking garages when he visits downtown: Option1:  $8 an hour for the first two hours, then $2 and hour for each hour more than 2; or Op

Matrices, how solve the inverse matrices using the matlab?

how solve the inverse matrices using the matlab?

Show that p ( x ) = 2 x3 - 5x2 -10 x + 5 intermediate value , Example   Sh...

Example   Show that p ( x ) = 2 x 3 - 5x 2 -10 x + 5 has a root somewhere in the interval [-1,2]. Solution What we're actually asking here is whether or not the function wi

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