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

#title., Julia must do a 70:30 split of all of her profits with the Departm...

Julia must do a 70:30 split of all of her profits with the Department of Athletics. Julia also has the ability to sell soft drinks. If she decide to sell soft drinks, she must agre

Reflection , How do you reflect about the origin

How do you reflect about the origin

Do yall, do yall help kids in 6th grade

do yall help kids in 6th grade

Division problem, Raul has 56 bouncy balls. He puts three times as many bal...

Raul has 56 bouncy balls. He puts three times as many balls into red gift bags as he puts into green gift bags. If he puts the same number of balls in each bag, how many balls does

Compound angles, determine the exact value of cos (11*3.145/6)

determine the exact value of cos (11*3.145/6)

Shortcuts, pls told the maths shortcuts

pls told the maths shortcuts

Parity to De-Skew, Consider the following proposal to deskew a skewed bitst...

Consider the following proposal to deskew a skewed bitstream from a TRNG. Consider the bitstream to be a sequence of groups ot n bits for some n > 2. Take the first n bits, and o

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