# 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.

The second formula is a subformula of the first
2.

The second formula is a positive subformula of the first

The second formula is a subformula of the first
2.

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

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

The second formula is not a positive subformula of the first

The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? . The second formula is not a subformula of the first 4. In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first  Question 3 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ∀xLarge(x) In this question you have to select all and only the right answers to get points.b. The second formula is a subformula of the first 2.c)→¬(Large(a)∧Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4. Selected Answers: 1. The second formula is a positive subformula of the first Answers: 1. 3. Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.

The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4. . The second formula is a positive subformula of the first Answers: 1.(∀xLarge(x)↔¬¬Large(a)) Large(a) In this question you have to select all and only the right answers to get points.x)) ¬∀xSameSize(x. Selected Answers: 1. The second formula is a subformula of the first 2. 3. The second formula is not a positive subformula of the first  s 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. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2.x) Selected Answers: 1.x)∨¬∃xSameSize(x. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 5 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (¬∀xSameSize(x. The second formula is a subformula of the first 2.

The second formula is a subformula of the first 2. . Selected Answers: 1.c)→¬(Large(a)∧Tet(d))) Tet(d) 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. The second formula is a subformula of the first 2.  The second formula is not a positive subformula of the first Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.b. The second formula is a positive subformula of the first Answers: 1. The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2.The second formula is not a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first  Question 3 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ∀xLarge(x) In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 2.

The second formula is not a positive subformula of the first  Question 4 1 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (¬∀xSameSize(x.b) In this question you have to select all and only the right answers to get points.b)∧Larger(a. The second formula is a positive subformula of the first 2.x) Selected Answers: 1.x)∨¬∃xSameSize(x. The second formula is a positive subformula of the first 1. The second formula is a subformula of the first 2. Selected Answer: Answers: 1. The second formula is both a positive and a negative subformula of the first 4. The second formula is a negative subformula of the first 3. The second formula is a positive subformula of the first 3.y)∧∀y¬Larger(x.The second formula is a positive subformula of the first 3.x)) ¬∀xSameSize(x. The second formula is not a positive subformula of the first  Question 5 0 out of 2 points Is the second formula below in the TARSKI language an a subformula of the first? (∃x∀y¬Larger(x.y)) Larger(a. The second formula is neither a positive nor a negative subformula of the first  Question 1 2 out of 2 points . The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4. The second formula is a subformula of the first Answers: 1.

The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3.x) Large(a) . The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 3 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ∃x∀yLarger(y.x) ∀yLarger(a.x) Selected Answers: 1. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2.Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ¬¬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 not a positive subformula of the first  Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ∃x∀yLarger(y.

The second formula is a positive subformula of the first Answers: 1. 3. The second formula is not a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. Selected Answers: 1.y)∧∀y¬Larger(x.In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first  Question 5 2 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. The second formula is not a positive subformula of the first . The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2.y)) Larger(a. The second formula is a subformula of the first 2. The second formula is a subformula of the first 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 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∃x∀y¬Larger(x. The second formula is not a subformula of the first 4.b) In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4.

The second formula is a subformula of the first 2.x) Larger(a. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 2 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ∃x¬∀yLarger(y. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first  Question 1 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) Large(a) In this question you have to select all and only the right answers to get points. 3. The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first .b) In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first Answers: 1.Answers: 1. The second formula is a positive subformula of the first 3.

The second formula is not a subformula of the first 4.b) Larger(a. The second formula is not a subformula of the first 4.b) In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first  Question 3 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (¬∀xSameSize(x.x)∨¬∃xSameSize(x. The second formula is not a positive subformula of the first  Question 5 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) .x)) ∀xSameSize(x. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first 3.4. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 4 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ¬Larger(a. 3. The second formula is not a subformula of the first 4.x) 3.

The second formula is not a positive subformula of the first  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. The second formula is a subformula of the first . 3. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first Answers: 1. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is a positive subformula of the first Answers: 1. Selected Answers: 1. Selected Answers: 1. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first 3.¬Large(a) In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first  Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.b. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4.c)→¬(Large(a)∧Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4.

3. Selected Answers: 1. Selected Answers: 1. The second formula is a subformula of the first 2.y)) ∀y¬Larger(a. The second formula is a positive subformula of the first . The second formula is a subformula of the first 2.y) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 3 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∃x∀y¬Larger(x.y)∧∀y¬Larger(x. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. The second formula is not a subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) Large(a) In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first Answers: 1.

The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first 3. In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4.x)) ∀xSameSize(x. The second formula is a positive subformula of the first Answers: 1.x) 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. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2.3. The second formula is a subformula of the first 2.x)∨¬∃xSameSize(x. The second formula is not a positive subformula of the first  Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ∀xLarge(x) In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first  Question 5 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (¬∀xSameSize(x. The second formula is not a positive subformula of the first  Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? . The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is not a subformula of the first 4.

b. Selected Answers: 1. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a. The second formula is not a positive subformula of the first  Question 3 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.x) ∀yLarger(y. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. The second formula is not a subformula of the first 4.a) In this question you have to select all and only the right answers to get points.b. . The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first Answers: 1.c)→¬(Large(a)∧Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4.∃x∀yLarger(y. The second formula is a subformula of the first 2.c)→¬(Large(a)∧Tet(d))) Large(a) In this question you have to select all and only the right answers to get points. 3. The second formula is a subformula of the first 4.

In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first  Question 5 0 out of 2 points Is the second formula below in the TARSKI language an a subformula of the first? (∃x∀y¬Larger(x.y)) Larger(a. The second formula is a negative subformula of the first 3.Selected Answers: 1. The second formula is a positive subformula of the first 2. The second formula is neither a positive nor a negative subformula of the first  Question 1 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ∀xLarge(x) In this question you have to select all and only the right answers to get points.b)∧Larger(a. The second formula is both a positive and a negative subformula of the first 4. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first Answers: 1.b) In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 4.y)∧∀y¬Larger(x. The second formula is a subformula of the first 2. Selected Answer: Answers: 2. The second formula is a negative subformula of the first 1. Selected Answers: 1. The second formula is a subformula of the first .

The second formula is not a positive subformula of the first  Question 2 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ∃x∀yLarger(y. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 4.a) In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. 3. The second formula is a subformula of the first 2.2. The second formula is a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4.x) ∀yLarger(y. The second formula is not a positive subformula of the first Answers: 1.b. The second formula is not a positive subformula of the first  Question 3 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a. The second formula is not a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first .c)→¬(Large(a)∧Tet(d))) Large(a) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4. Selected Answers: 1.

The second formula is not a subformula of the first 4.b. The second formula is not a positive subformula of the first  Question 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a. The second formula is a subformula of the first 4. The second formula is a negative subformula of the first 1. The second formula is a positive subformula of the first 2.y)) Larger(a. Selected Answer: Answers: 2. The second formula is a positive subformula of the first 3. The second formula is both a positive and a negative subformula of the first 4.b) 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.c)→¬(Large(a)∧Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points. The second formula is not a positive subformula of the first  Question 5 0 out of 2 points Is the second formula below in the TARSKI language an a subformula of the first? (∃x∀y¬Larger(x.b)∧Larger(a.y)∧∀y¬Larger(x.3. The second formula is not a positive subformula of the first Answers: 1. The second formula is a negative subformula of the first 3. The second formula is neither a positive nor a negative subformula of the first . The second formula is not a subformula of the first 4.

b) 3. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 4. . The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 2 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a. The second formula is a positive subformula of the first 3.x) Larger(a.b. The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4.x)) SameSize(a.b) Selected Answers: 1. Question 1 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (¬∀xSameSize(x. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2.x)∨¬∃xSameSize(x.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. The second formula is not a positive subformula of the first  Question 3 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? ∃x∀yLarger(y.

The second formula is not a positive subformula of the first Answers: 1. . The second formula is not a positive subformula of the first  Question 5 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. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first Answers: 1. The second formula is a subformula of the first 2. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first 3. 3. The second formula is a subformula of the first 2. The second formula is not a positive subformula of the first  Question 4 2 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. The second formula is a subformula of the first 2.The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is a subformula of the first 2.

The second formula is not a positive subformula of the first  Question 2 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) ∀xLarge(x) In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 2.The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4. . In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 2.y)∧∀y¬Larger(x. Selected Answers: 1. The second formula is a subformula of the first 2. 3. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 1 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∃x∀y¬Larger(x. The second formula is a positive subformula of the first Answers: 1.y)) Larger(a. The second formula is a positive subformula of the first 3. The second formula is not a subformula of the first 4.b) In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first 3.

The second formula is not a positive subformula of the first  Question 3 2 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. The second formula is not a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first  Question 5 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) . The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. 3. Selected Answers: 1. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first 3. The second formula is a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 4 0 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) Large(x) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first Answers: 1.

The second formula is not a positive subformula of the first Answers: 1. The second formula is a positive subformula of the first 3. Selected Answers: 1. The second formula is not a positive subformula of the first  Question 1 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.y)∧∀y¬Larger(x.y)) Larger(a.b. 3. The second formula is not a subformula of the first . The second formula is a subformula of the first 2. The second formula is a subformula of the first 2.Large(a) In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. Selected Answers: 1. The second formula is not a subformula of the first 4.b) In this question you have to select all and only the right answers to get points. The second formula is a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4.c)→¬(Large(a)∧Tet(d))) Tet(d) In this question you have to select all and only the right answers to get points. The second formula is a subformula of the first 4. The second formula is not a positive subformula of the first  Question 2 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∃x∀y¬Larger(x.

The second formula is a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a subformula of the first 4. The second formula is not a positive subformula of the first  Question 3 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (∀xLarge(x)↔¬¬Large(a)) Large(a) In this question you have to select all and only the right answers to get points. The second formula is not a subformula of the first 4. The second formula is a positive subformula of the first . Selected Answers: 1.c)→¬(Large(a)∧Tet(d))) Large(a) In this question you have to select all and only the right answers to get points.b. The second formula is not a positive subformula of the first  Question 4 2 out of 2 points Is the second formula below in the TARSKI language a subformula of the first? (Between(a.4. The second formula is not a positive subformula of the first Answers: 1. The second formula is a subformula of the first 4. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is a positive subformula of the first 3. The second formula is a subformula of the first 2. The second formula is a subformula of the first 2. The second formula is a positive subformula of the first 3. Selected Answers: 1.

The second formula is not a positive subformula of the first .3. The second formula is a positive subformula of the first 3. The second formula is not a positive subformula of the first Answers: 1. The second formula is not a positive subformula of the first  Question 5 2 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. The second formula is a subformula of the first 2. The second formula is not a subformula of the first 4. 3. The second formula is not a subformula of the first 4. The second formula is not a subformula of the first 4.