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

Algebra2;, log6 X + log6 (x-5) = 1

log6 X + log6 (x-5) = 1

Find the lesser of two consecutive positive even integers, Find the lesser ...

Find the lesser of two consecutive positive even integers whose product is 168. Let x = the lesser even integer and let x + 2 = the greater even integer. Because product is a k

prove that 2a=b+c, If the roots of the equation (a-b) x 2 + (b-c) x+ (...

If the roots of the equation (a-b) x 2 + (b-c) x+ (c - a)= 0 are equal. Prove that 2a=b+c. Ans:    (a-b) x 2 + (b-c) x+ (c - a) = 0 T.P 2a = b + c B 2 - 4AC = 0

Algebra, (x+15)/y=10 where y=5

(x+15)/y=10 where y=5

Free - damped vibrations, We are until now going to suppose that there will...

We are until now going to suppose that there will be no external forces acting on the system, along with the exception of damping obviously. Under this case the differential equati

Solve 6 sin ( x/2)= 1 on [-20, Solve 6 sin ( x/2)= 1 on [-20,30] Soluti...

Solve 6 sin ( x/2)= 1 on [-20,30] Solution Let's first work out calculator of the way since that isn't where the difference comes into play. sin( x/2)= 1/6   ⇒x/2= sin

Modeling , A plastic manufacturer has 1200 boxes of transparent wrap in sto...

A plastic manufacturer has 1200 boxes of transparent wrap in stock at one factory and 1000 boxes at his second factory.The manufacturer has order for this product from 3 different

Demonstrates that f ( x ) = 4 x5 + x3 + 7 x - 2 mean value, Demonstrates th...

Demonstrates that f ( x ) = 4 x 5 + x 3 + 7 x - 2 has accurately one real root. Solution From basic Algebra principles we know that since f (x) is a 5 th degree polynomi

Draw tangent graph y = sec ( x ), G raph y = sec ( x ) Solution: As wi...

G raph y = sec ( x ) Solution: As with tangent we will have to avoid x's for which cosine is zero (recall that sec x =1/ cos x) Secant will not present at

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