A Representation of Stoicism in a Propositional Logic Form

I prompted Claude.ai to convert the following texts (see link below) to propositional logic form.

[The followng are the titles of excerpts and full messages sent to the ISF by Grant C. Sterling.]

Pared to their most basic level, the Stoics say:
The heart and soul of Stoicism
The vital heart of Stoic doctrine
Stoicism is the theory that:
Imagine someone says,
System S says:
I receive impressions.
Core Beliefs
Core Stoicism

Claude.ai returned the following:

"The Stoic View: Changing False Judgments to Eliminate Emotions"

1.  Eudaimonia ↔ (Virtue ∧ Joy)
2.  Control(Virtue)
3.  Control(Joy)
4.  ¬Control(Externals)
5.  Good(Virtue)
6.  Evil(Vice)
7.  ¬Good(Externals)
8.  ¬Evil(Externals)
9.  Emotion ↔ Belief(Value(Externals))
10. ¬Value(Externals)
11. ¬Emotion ¬Belief(Value(Externals))
12. Virtue → ¬Belief(Value(Externals))
13. Joy → ¬Belief(Value(Externals))
14. ∴ Eudaimonia ↔ (¬Belief(Value(Externals)) ∧ Virtue)


The key claims are:

Eudaimonia consists of both Virtue and Joy (psychological contentment) 2-4. Only Virtue and Joy are in our control, not externals 5-8. Only Virtue and Vice have genuine value, not externals 9-11. Emotions are caused by false beliefs about the value of externals 12-13. Virtue and Joy require correct beliefs about the lack of value of externals
Therefore, Eudaimonia requires correct beliefs about externals lacking value, and Virtue.

Nine excerpts and full texts about Stoicism by Grant C. Sterling