"S1"(_) - Socrates

Related Documents
  • D1: What a saucy hat! ANd the color is so yummy. Good old Marfa she's no...
Related Theorems
Theorem T1 by David
Theorem T3 by David
Theorem T4 by David
Theorem T5 by Clifford Beshers
Theorem T6 by David
Equivalence Assertions
(none)
Related Subjects
  • S1: “Socrates”
  • S2: “Man”
  • S3: “Mortals”
Favorite Subjects
(none)
Subject Descriptions
A1: SocratesS1
A7: Single Thing

Add a Description to S1

Add Description

proposed subject text:
    Related Assertions
    • A4: ∀x: SocratesS1, (x)⇒ ManS2, (x)
    • A5: ∀x: ManS2, (x)⇒ MortalsS3, (x)
    • A6: ∃x: SocratesS1, (x)
    • A8: ∀x: SocratesS1, (x)⇒ MortalsS3, (x)
    • A9: ∀x: SocratesS1, (x)⇒ ¬MortalsS3, (x)

    0 Comments on S1

    No comments yet.

    add a comment