3 9

Intro: add up all supports Elim: subtract the small supports
3.9 EX:
Question 1
0 out of 2 points
Is the second formula below in the TARSKI language a subformula of the first?
(x(Large(x)Tet(x))(Dodec(b)Small(x))) Large(a) In this question you have to select all and only the right answers to get points.
Selected Answers: 1.
The second formula is a subformula of the first

2.
The second formula is a positive subformula of the first

Answers: 1.

2.

3.
The second formula is not a subformula of the first

4.
The second formula is not a positive subformula of the first
Question 2
0 out of 2 points
(Between(a,b,c)(Large(a)Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points
(xLarge(x)Large(a)) xLarge(x) In this question you have to select all and only the right answers to get points. In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points
(xLarge(x)Large(a)) Large(a) In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 5
2 out of 2 points
(xSameSize(x,x)xSameSize(x,x)) xSameSize(x,x)

2.

Answers: 1.

2.

3.

4.
s the second formula below in the TARSKI language a subformula of the first?
3.

4.

Answers: 1.

2.

3.

4.
The second formula is not a positive subformula of the first Question 2

0 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 4
1 out of 2 points

Answers: 1.

2.

3.

4.
Question 5
0 out of 2 points
Is the second formula below in the TARSKI language an a subformula of the first?
(xyLarger(x,y)yLarger(x,y)) Larger(a,b)Larger(a,b) In this question you have to select all and only the right answers to get points.
Selected Answer: Answers: 1.

1.

2.
The second formula is a negative subformula of the first

3.
The second formula is both a positive and a negative subformula of the first
4.
The second formula is neither a positive nor a negative subformula of the first
Question 1
2 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 2
0 out of 2 points
xyLarger(y,x) yLarger(a,x)

2.

Answers: 1.

2.

3.

4.
Question 3
0 out of 2 points
xyLarger(y,x)
Large(a)
In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points
(xyLarger(x,y)yLarger(x,y)) Larger(a,b) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 5
2 out of 2 points
3.

4.
Answers: 1.

2.

3.

4.
Question 1
2 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 2
2 out of 2 points
xyLarger(y,x) Larger(a,b) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.
4.
Question 3
0 out of 2 points
3.

4.

Answers: 1.

2.

3.

4.
Question 4
0 out of 2 points
Larger(a,b) Larger(a,b) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 5
0 out of 2 points
(xLarge(x)Large(a))
Large(a) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 1
0 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 2
0 out of 2 points
3.

Answers: 1.

2.

3.

4.
Question 3
0 out of 2 points
(xyLarger(x,y)yLarger(x,y)) yLarger(a,y) In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points

2.

Answers: 1.

2.
3.

4.
Question 5
0 out of 2 points

2.

Answers: 1.

2.

3.

4.

2.

Answers: 1.

2.

3.

4.
Question 2
0 out of 2 points
xyLarger(y,x) yLarger(y,a) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points
(Between(a,b,c)(Large(a)Tet(d))) Large(a) In this question you have to select all and only the right answers to get points.

4.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points

4.

Answers: 1.

2.

3.

4.
Question 5
0 out of 2 points

1.

2.

3.
4.
Question 1
2 out of 2 points
2.

Answers: 1.

2.

3.

4.
Question 2
0 out of 2 points
xyLarger(y,x) yLarger(y,a) In this question you have to select all and only the right answers to get points.
3.

4.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points

4.

Answers: 1.

2.
3.

4.
Question 4
2 out of 2 points

4.

Answers: 1.

2.

3.

4.
Question 5
0 out of 2 points

1.

2.

3.
4.
Question 1
2 out of 2 points
(xSameSize(x,x)xSameSize(x,x)) SameSize(a,b)
3.

4.

Answers: 1.

2.

3.

4.
Question 2
2 out of 2 points
(Between(a,b,c)(Large(a)Tet(d))) (Large(a)Tet(d)) In this question you have to select all and only the right answers to get points.

4.

Answers: 1.

2.

3.

4.
Question 3
0 out of 2 points
xyLarger(y,x) Larger(a,b)

2.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points
3.

4.

Answers: 1.

2.

3.

4.
Question 5
0 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 1
2 out of 2 points
3.

4.

Answers: 1.

2.

3.

4.
Question 2
2 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points
3.

4.

Answers: 1.

2.

3.

4.
Question 4
0 out of 2 points
(xLarge(x)Large(a)) Large(x) In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 5
2 out of 2 points
(xLarge(x)Large(a))
Large(a) In this question you have to select all and only the right answers to get points.

2.

Answers: 1.

2.

3.

4.
Question 1
2 out of 2 points

4.

Answers: 1.

2.

3.

4.
Question 2
2 out of 2 points
3.
4.

Answers: 1.

2.

3.

4.
Question 3
2 out of 2 points

2.

Answers: 1.

2.

3.

4.
Question 4
2 out of 2 points

4.

Answers: 1.

2.
3.

4.
Question 5
2 out of 2 points
3.

4.

Answers: 1.

2.

3.

4.

3 9

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

3 9

Uploaded by

Copyright:

Available Formats

Intro: add up all supports Elim: subtract the small supports

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first Question 2

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first

The second formula is not a positive subformula of the first

The second formula is a positive subformula of the first

The second formula is a positive subformula of the first

The second formula is a negative subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is a subformula of the first

The second formula is a positive subformula of the first

The second formula is not a subformula of the first