Explore BrainMass
Share

Defining Certain Subsets of the Natural Numbers

This content was STOLEN from BrainMass.com - View the original, and get the already-completed solution here!

Let L be the language of addition (with equality) in first-order logic. That is, let L be the first-order language that allows for use of the equality symbol ("=") and whose only non-logical symbol is a binary function symbol "+". (That is, L has no constant symbols and no predicate (relation) symbols.)

Now consider the L-structure that has as universe the set N of all the natural numbers (0, 1, 2, ...) and where the function symbol "+" is interpreted as the usual addition on the natural numbers.

(a) Use an L-formula of first-order logic to define the set E_1 of all the even natural numbers.

(b) Use an L-formula of first-order logic to define the set E_2 of all the even natural numbers that are not divisible by 4.

(c) Use an L-formula of first-order logic to define the set S={1} (i.e., S is the one-element subset of the natural numbers whose only element is the number 1).

© BrainMass Inc. brainmass.com October 25, 2018, 10:14 am ad1c9bdddf
https://brainmass.com/math/logic/defining-certain-subsets-natural-numbers-603674

Solution Summary

A certain language of first-order logic is given, and formulas in that language are then used to define certain subsets of the set of all the natural numbers. In addition to provision of the actual formulas, a detailed explanation of the choice of those formulas is provided.

$2.19
See Also This Related BrainMass Solution

Defining statistical concepts

Define each of the following and provide a specific example for each type of statistical test or concept.

- The null and alternative hypotheses
- Type I and Type II errors
- The proper use of statistical software
- Cross-tabulation
- Chi-Square
- Single sample t-test
- Independent t-test
- One-Way ANOVA

Show your work (either your hand calculations or your statistical program output). You can either scan your work and submit it as a low-resolution graphic, type your answers directly into the document, or cut and paste your work into a Word file.

Where applicable, your written responses should reflect scholarly writing and APA standards.

View Full Posting Details