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

Probablility, #question.find the number of combinations of the letters a, b...

#question.find the number of combinations of the letters a, b, c, and d taken 3 at a time.

Harmonic mean, If a, b and c are in harmonic progression with b as th...

If a, b and c are in harmonic progression with b as their harmonic mean then, b  = This is obtained as follows. Since a, b and c are in

find the original number, A two-digit number is seven times the sum of its...

A two-digit number is seven times the sum of its digits.  The number formed by reversing the digits is 18 less than the  original number. Find the original number.

Trigonometry, if tan theta =1,find the value of sin4 theta + cos4 theta

if tan theta =1,find the value of sin4 theta + cos4 theta

The laplace method, The Laplace method Laplace method employs all the i...

The Laplace method Laplace method employs all the information by assigning equal probabilities to the possible payoffs for every action and then selecting such alternative whic

Core concepts, what are the core concept of marketing

what are the core concept of marketing

Determine the centralizer and the order of the conjugacy, Determine the cen...

Determine the centralizer and the order of the conjugacy: 1)      Determine the centralizer and the order of the conjugacy class of the matrix [1, 1; 0, 1] in Gl­ 2 (F 3 ).

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