Clifford Beshers
Preferences:- Formula Rendering Style:
- Prover Limits: 32
The Assertions which you have created: - A198: ∀x: you,
(x)⇒ true
- A201: ∀x: Person or Persons,
(x)⇒ aware.
S65,
(x)
- A202: ∀x: Predicate that is true when x is the whole universeS63,
(x)⇒ aware.
S65,
(x)
The Subjects for which you have created definitions: The assertions which create Subject Equivalence Sets: Your Belief History, explicit acceptances or rejections of assertions: - A8: ∀x: SocratesS1,
(x)⇒ MortalsS3,
(x): A60=☒⇒A62=☐⇒A87=☒⇒A97=☐⇒A105=☑
- A9: ∀x: SocratesS1,
(x)⇒ ¬MortalsS3,
(x): A106=☒⇒A107=☠⇒A108=☒
- A198: ∀x: you,
(x)⇒ true: A199=☠
Your Documents: