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

Graph and algebraic methods , To answer each question, use the function t(r...

To answer each question, use the function t(r) = d , where t is the time in hours, d is the distance in miles, and r is the rate in miles per hour. a. Sydney drives 10 mi at a c

Illustrate field properties of numbers, Q. Illustrate Field Properties of N...

Q. Illustrate Field Properties of Numbers? Ans. What the  associative law of addition  states is this: for any numbers a, b, and c,

Calculate the mean, Calculate the mean, variance & standard deviation of th...

Calculate the mean, variance & standard deviation of the number of heads in a simultaneous toss of three coins.     SOLUTION:    Let X denotes the number of heads in a simu

.fractions, what is the difference between North America''s part of the tot...

what is the difference between North America''s part of the total population and Africa''s part

Least common denominator of rational expression, Perform the denoted operat...

Perform the denoted operation.                    (4/6x 2 )-(1/3x 5 )+(5/2x 3 ) Solution For this problem there are coefficients on each of term in the denominator thus

Write radicals in exponent form, Write each of the given radicals in expone...

Write each of the given radicals in exponent form. Solution As illustrated in the last two parts of this example we have to be careful with parenthesis.  While we

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