Negation of Universal Quantification Statement
Negation tilt "For all x applicable p(x)" is "It is non truthful that for all x use p(x)" or inwards other words "there is at to the lowest degree 1 x such that p(x) is non applicable". By using the symbol, nosotros write every bit follows:(∀x) p(x) ≡ (∃x) p(x)
Example:
p: All cats bring a tail
p: Not actually all cats bring a tail.
p: There is a truthful cat that has no tail.
p: Some cats produce non bring tails.
Negation of Existential Quantification Statement
Negation tilt "There is x applicable p(x)" is "not truthful that at that topographic point x applies p(x)" or inwards other words "For all x such that p(x) non applicable". By using the symbol nosotros write every bit follows:(∃x) p(x) ≡ (∀x) p(x)
Example:
p: There is a kid who likes to play ball.
p: Not truthful There is a kid who likes to play ball.
p: All children produce non similar to play ball.
Similarly this article.
Sorry if at that topographic point is a incorrect word.
The cease of give-and-take wassalamualaikum wr. wb
Referensi :
- To'Ali's mass math grouping accounting together with sales