A9

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)
A9: ∀x: SocratesS1, (x)⇒ ¬MortalsS3, (x)
By User 1 on on 2011-08-26

Create a theorem from this assertion.

Related Assertions
  • A4: ∀x: SocratesS1, (x)⇒ ManS2, (x)
  • A5: ∀x: ManS2, (x)⇒ MortalsS3, (x)
  • A6: ∃x: SocratesS1, (x)
  • A8: ∀x: SocratesS1, (x)⇒ MortalsS3, (x)

0 Comments on A9

No comments yet.

add a comment