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

What is the integratin of 1/sin2x?, ∫1/sin2x dx = ∫cosec2x dx = 1/2 log[cos...

∫1/sin2x dx = ∫cosec2x dx = 1/2 log[cosec2x - cot2x] + c = 1/2 log[tan x] + c Detailed derivation of ∫cosec x dx = ∫cosec x(cosec x - cot x)/(cosec x - cot x) dx = ∫(cosec 2 x

Liniar Algebra, Assume A and B are symmetric. Explain why the following are...

Assume A and B are symmetric. Explain why the following are symmetric or not. 1) A^2 - B^2 2) (A+B)(A-B) 3) ABA 4) ABAB 5) (A^2)B

Polar coordinates - parametric equations & polar coordinates, Polar Coordin...

Polar Coordinates Till this point we've dealt completely with the Cartesian (or Rectangular, or x-y) coordinate system.  Though, as we will see, this is not all time the easie

Addition and subtraction of rational expressions, Now come to addition and ...

Now come to addition and subtraction of rational expressions.  Following are the general formulas.  (a/c) + (b/c) = (a + b)/c

Explain the common forms of linear equations, Explain the Common Forms of L...

Explain the Common Forms of Linear Equations ? An equation whose graph is a line is called a linear equation. Here are listed some special forms of linear equations. Why should

Prove that xa+ar=xb+br of circle, In figure, XP and XQ are tangents from X ...

In figure, XP and XQ are tangents from X to the circle with centre O. R is a point on the circle. Prove that XA+AR=XB+BR Ans:    Since the length of tangents from externa

Combination, Combination A combination is a group of times whether ord...

Combination A combination is a group of times whether order is not significant. For a combination to hold at any described time it must comprise of the same items however i

Equivalence relation, a) Let V = f1, 2, :::, 7g and define R on V by xRy if...

a) Let V = f1, 2, :::, 7g and define R on V by xRy iff x -  y is a multiple of 3. You should know by now that R is an equivalence relation on V . Suppose that this is so. Explain t

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