A39

Related Documents
  • D3: IN CONGRESS, JULY 4, 1776
Related Theorems
(none)
Equivalence Assertions
(none)
Related Subjects
  • S13: “these truths”
  • S14: “self-evident,”
  • S15: “men”
  • S16: “created equal,”
  • S17: “certain unalienable Rights,”
  • S18: “unalienable”
  • S19: “Rights,”
  • S20: “endowed by their Creator with”
  • S21: “Life,”
  • S22: “Liberty”
  • S23: “the pursuit of Happiness”
Favorite Subjects
(none)
A39: ∀x: menS15, (x)⇒ created equal,S16, (x)
By User 1 on on 2011-08-26

Create a theorem from this assertion.

Related Assertions
  • A38: ∀x: these truthsS13, (x)⇒ self-evident,S14, (x)
  • A40: ∀x: ∀y: menS15, (x)∧ certain unalienable Rights,S17, (y)⇒ endowed by their Creator withS20, (x, y)
  • A41: ∀x: Life,S21, (x)⇒ certain unalienable Rights,S17, (x)
  • A42: ∀x: LibertyS22, (x)⇒ certain unalienable Rights,S17, (x)
  • A43: ∀x: the pursuit of HappinessS23, (x)⇒ certain unalienable Rights,S17, (x)

0 Comments on A39

No comments yet.

add a comment