"S3"(_) - Mortals

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
A3: MortalsS3

Add a Description to S3

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 S3

    No comments yet.

    add a comment