Negating the Nested Quantifiers (Example 2)

preview_player
Показать описание
Discrete Mathematics: Negating the Nested Quantifiers.
Topics discussed:
1) Solved example on negating the nested quantifiers.

Music:
Axol x Alex Skrindo - You [NCS Release]

#DiscreteMathematicsByNeso #DiscreteMaths #NestedQuantifiers
Рекомендации по теме
Комментарии
Автор

can we use AND between "v(x, y) and y not equal libya" instead implication?

rahulverma
Автор

01:29 Can I write like this ∃x ( ∀y V(x, y) <--> y ≠ Libya ) ? later i can move ∀y outside. Is it okay ?

rajeshprajapati
Автор

Can I translate the equivalent statement to be "There exists x for all y (y~=Libya ->V(x, y)"? It seems logical this way. If y is not Libya, then x has visited it. What you did is correct, but not sure why mine interpretation is wrong. Please help!

twilight
Автор

how can this be? -(p <-> q) = p <-> -q

asmrEveryday
Автор

can The negation statement can also : everyone has visited some country iff the country is libya.

AMISHADAS-qv
Автор

sir please prefer me book for this tpoic

rohitkumar
Автор

here " someone " means a unique person as word "someone" is singular ? Original sentence could mean like " there is only one person who has visited all other countries except Libya"

AjeetKumar-moxt
Автор

The English expression is incorrect. It should be as follows:-

Every person has either visited Libya or he hasn't visited SOME country other than Libya.

hrishikeshdeshpande
Автор

the english translation of the negation is quite irrelevant. it's simply this:
Everyone has visited libya.
and that intuitively makes sense as the opposite of the given statement

fadyaldhaim
join shbcf.ru