Let's try an example, let x range over natural numbers, A(x) = odd, B(x) = even.
(∀x)(A(x) ∨ B(x) ) - is that true or false?
(∀x)A(x) - is that true or false?
(∀x)B(x) - is that true or false?
You should have your answer now.
(∀x)(A(x) ∨ B(x) ) - is that true or false?
(∀x)A(x) - is that true or false?
(∀x)B(x) - is that true or false?
You should have your answer now.
About the Author
Robert Walker
Writer of articles on Mars and Space issues - Software Developer of Tune Smithy, Bounce Metronome etc.Studied at Wolfson College, Oxford
Lives in Isle of Mull
4.8m answer views110.3k this month
Top Writer2017, 2016, and 2015
Published WriterHuffPost, Slate, and 4 moreHuffPost, Slate, Forbes, Newsweek, Business Insider, and Science 2.0