4b. In the following exercises I give you the symbols that you will use for predicates or relations. Your task is to paraphrase the English sentences in quantified relational logic. For example, suppose you have the English sentence “Something is missing” (M, missing), then the paraphrase is ∃xMx. (i) All swans are white. (S, swan; W, white) (ii) Every swan is white. (S, swan; W,
4b. In the following exercises I give you the symbols that you will use for predicates or relations. Your task is to paraphrase the English sentences in quantified relational logic. For example, suppose you have the English sentence “Something is missing” (M, missing), then the paraphrase is ∃xMx.
(i) All swans are white. (S, swan; W, white)
(ii) Every swan is white. (S, swan; W, white)
(iii) Each swan is white. (S, swan; W, white)
(iv) Only white swans exist. (S, swan; W, white)
(v) A swan is white. (S, swan; W, white)
(The image is just formuals if your not familiar with this)
![We are now in a position do describe quantified relational logic
for one or two place relations only. Remember that to specify a
logic I need to tell you (1) the formal symbols, (2) the
transformation rules, and (3) closure condition.
The formal symbols are:
· a, b, c, . . . , m, n, . . . as constant symbols for terms. A term is
anything in a theory or language that can be given a proper
name or an object that can be identified uniquely.
- x, y, z as symbols for variables, which range over terms.
- Upper case letters P, Q, R, S, T, . . . , A, B, C, D, . . . , M, . . . of
alphabet as symbols for relations (on two place
the
only).
- Truth-functional connectives: V, ^, , , ↔
- Quantifiers: V
- Brackets: ( for left bracket and ) for right bracket.
In order to talk about formulas at a meta-level we use the
symbols F, G and H.
The transformation rules for quantified relational logic are:
1. For any predicate symbol P and for any two place relation
symbol R, given any constants a or b or any variables x or y,
Pa, Px, Rab, Rxy are formulas. In Px and Rxy formulas, x and
y are said to "free" variables because there are no quantifiers to
which they are bound.
2. If F is a formula by Rule 1 and if x is a free variable in F, then
3x F is a formula and Vx F is a formula. Rule 2 is known as
binding any free variable x in F by a quantifier.
A formula F formed by either rule 1 and 2 is called an atomic
formula.
3. If F and G are atomic formulas, then -F, (F v G), (F ^ G),
· G) and (F ↔ G) are complex formulas.
(F
4. If H is a complex formula, then the result of binding any free
variable in H is a formula.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F27b45e95-b627-40d3-bdd5-6c1defdadd00%2F24585eec-54dc-4edb-834e-7ca50f509742%2Fj91mbc_processed.png&w=3840&q=75)
![](/static/compass_v2/shared-icons/check-mark.png)
Step by step
Solved in 3 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
4d. In the following exercises I give you the symbols that you will use for predicates or relations. Your task is to paraphrase the English sentences in quantified relational logic. For example, suppose you have the English sentence “Something is missing” (M, missing), then the paraphrase is ∃xMx.
(iv) Only white swans exist. (S, swan; W, white)
(v) A swan is white. (S, swan; W, white)
(The image is just formuals if your not familiar with this)
![We are now in a position do describe quantified relational logic
for one or two place relations only. Remember that to specify a
logic I need to tell you (1) the formal symbols, (2) the
transformation rules, and (3) closure condition.
The formal symbols are:
· a, b, c, . . . , m, n, . . . as constant symbols for terms. A term is
anything in a theory or language that can be given a proper
name or an object that can be identified uniquely.
- x, y, z as symbols for variables, which range over terms.
- Upper case letters P, Q, R, S, T, . . . , A, B, C, D, . . . , M, . . . of
alphabet as symbols for relations (on two place
the
only).
- Truth-functional connectives: V, ^, , , ↔
- Quantifiers: V
- Brackets: ( for left bracket and ) for right bracket.
In order to talk about formulas at a meta-level we use the
symbols F, G and H.
The transformation rules for quantified relational logic are:
1. For any predicate symbol P and for any two place relation
symbol R, given any constants a or b or any variables x or y,
Pa, Px, Rab, Rxy are formulas. In Px and Rxy formulas, x and
y are said to "free" variables because there are no quantifiers to
which they are bound.
2. If F is a formula by Rule 1 and if x is a free variable in F, then
3x F is a formula and Vx F is a formula. Rule 2 is known as
binding any free variable x in F by a quantifier.
A formula F formed by either rule 1 and 2 is called an atomic
formula.
3. If F and G are atomic formulas, then -F, (F v G), (F ^ G),
· G) and (F ↔ G) are complex formulas.
(F
4. If H is a complex formula, then the result of binding any free
variable in H is a formula.](https://content.bartleby.com/qna-images/question/27b45e95-b627-40d3-bdd5-6c1defdadd00/a3f134b7-cbbf-4835-ae82-35fd3057e19e/ufb7pxe_thumbnail.png)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)