3 added 52 characters in body
source | link

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

Just type the same exact thing you see in question 10.26, then select "FO Con" without any premises.

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later inI assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section. See the text, and I will update thisvery impressive answer when I come to that section. above instead!

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

Just type the same exact thing you see in question 10.26, then select "FO Con" without any premises.

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section.

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

Just type the same exact thing you see in question 10.26, then select "FO Con" without any premises.

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section. See the very impressive answer above instead!

2 Made my answer more clear
source | link

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

Just type the same exact thing you see in question 10.26, then select "FO Con" without any premises.

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section.

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section.

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

Just type the same exact thing you see in question 10.26, then select "FO Con" without any premises.

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section.

1
source | link

The solution to 10.26. You will hit yourself for this, if you are as lost as I was!!

|_
|∀x Tet(b) ↔ ∃w  Tet(b)                                                             FO Con

This still doesn't answer the question about how to use ∀ Intro and ∃ Elim, but it answers how to solve 10.26. I assume that ∀ Intro and ∃ Elim are covered later in the text, and I will update this answer when I come to that section.