David
Preferences:- Formula Rendering Style:
- Prover Limits: 32
The Assertions which you have created: - 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)
- A19: ∃x: DogS4,
(x)∧ OwnsS9,
(JackF10, x)
- A20: ∀x: ∃y: DogS4,
(y)∧ OwnsS9,
(x, y)⇒ AnimalLoverS7,
(x)
- A21: ∀x: AnimalLoverS7,
(x)⇒ ∀y: AnimalS6,
(y)⇒ ¬KillsS8,
(x, y)
- A22: KillsS8,
(JackF10, TunaF11)∨ KillsS8,
(CuriosityF12, TunaF11)
- A23: CatS5,
(TunaF11)
- A24: ∀x: CatS5,
(x)⇒ AnimalS6,
(x)
- A25: KillsS8,
(JackF10, TunaF11)
- A26: KillsS8,
(CuriosityF12, TunaF11)
- A38: ∀x: these truthsS13,
(x)⇒ self-evident,S14,
(x)
- A39: ∀x: menS15,
(x)⇒ created equal,S16,
(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)
- A64: ∀x: ∀y: Human ActivityS33,
(x)∧ Global WarmingS28,
(y)∧ Cause OfS32,
(x, y)
- A65: ∀x: ∀x: Commentary: Zero,
- A66: ∀x: ∀y: Human ActivityS33,
(x)∧ Global WarmingS28,
(y)∧ Cause OfS32,
(x, y)⇒ Anthropogenic Global WarmingS31,
(y)
- A77: ∃x: Global WarmingS28,
(x)
- A78: ∃x: Climate ChangeS30,
(x)
- A79: ∃x: Anthropogenic Global WarmingS31,
(x)
- A80: ∀x: someone who accepts A79,
(x)⇒ someone who accepts A77,
(x)
- A113: ∀x: Global WarmingS28,
(x)⇒ Climate ChangeS30,
(x)
- A135: ∀x: parents ofS42,
(U.S. Senator from FloridaF41, x)⇒ FledS44,
(Fidel CastroF43, x)
- A139: ∀x: Year C.E.S46,
(FledF44(parents ofF42(U.S. Senator from FloridaF41)), x)⇒ Year C.E.S46,
(1956, x)
- A155: ∀x: ∃y: greater thanS51,
(y, x)∧ primeS52,
(y)∧ primeS52,
(+F53(y, 2))
- A156: ∀x: TPCS49,
(x)⇔ A155,
(x)
- A158: ∀x: TPCS49,
(x)⇒ Independent of ZFCS54,
(x)
- A170: ℕS58,
(1)
- A171: ∀x: ℕS58,
(x)⇒ ℕS58,
(successorF59(x))
- A177: ∀x: ∀y: successorS59,
(y, x)⇔ y=+F53(x, 1)
- A178: ∀x: successorS59,
(0, x)⇒ ¬ℕS58,
(x)
- A179: ∀x: ∀y: successorF59(x)=successorF59(y)⇒ x=y
- A182: ∀x: subsetS60,
(x, ℕF58)∧ memberS61,
(1, x)∧ ∀y: memberS61,
(y, x)⇒ memberS61,
(successorF59(y), x)
- A210: ℕS58,
(0)
- A218: ∀x: ℕS58,
(x)⇒ sum of numbers from 1 to xF67(x)=÷F68(×F69(x, successorF59(x)), 2)
The Subjects for which you have created definitions: - Socrates
- Man
- Mortals
- Dog
- Cat
- Animal
- AnimalLover
- Kills
- Owns
- Jack
- Tuna
- Curiosity
- these truths
- self-evident,
- men
- created equal,
- certain unalienable Rights,
- unalienable
- Rights,
- endowed by their Creator with
- Life,
- Liberty
- the pursuit of Happiness
- corruption
- kickbacks,
- Global Warming
- Anthropogenic
- Climate Change
- Anthropogenic Global Warming
- Human Activity
- Greenhouse Gasses
- Increasing
- Increasing levels of greenhouse gasses in the Earth's atmosphere
- U.S. Senator from Florida
- parents of
- Fidel Castro
- Fled
- Cuba
- Year C.E.
- 1956
- Politifact
- TPC
- ZFC
- greater than
- prime
- +
- Independent of ZFC
- greatest common divisor
- greatest common divisor
- coprime
- ℕ
- successor
- subset
- member
- Predicate that is true when x is the whole universe
- sum of numbers from 1 to x
- sum of numbers from 1 to x
- ÷
- ×
The assertions which create Subject Equivalence Sets: Your Belief History, explicit acceptances or rejections of assertions: - A4: ∀x: SocratesS1,
(x)⇒ ManS2,
(x): A44=☑⇒A109=☐⇒A128=☒⇒A129=☑⇒A172=☒⇒A173=☐⇒A174=☒⇒A175=☑
- A6: ∃x: SocratesS1,
(x): A110=☒⇒A111=☑⇒A112=☐⇒A204=☠⇒A205=☐⇒A206=☠⇒A207=☐⇒A212=☠⇒A213=☐⇒A222=☒⇒A223=☐
- A21: ∀x: AnimalLoverS7,
(x)⇒ ∀y: AnimalS6,
(y)⇒ ¬KillsS8,
(x, y): A120=☒⇒A122=☐⇒A123=☒⇒A184=☐
- A22: KillsS8,
(JackF10, TunaF11)∨ KillsS8,
(CuriosityF12, TunaF11): A186=☒⇒A187=☐
- A25: KillsS8,
(JackF10, TunaF11): A121=☑⇒A185=☐
- All F24 are “Title”: A70=☠
- All F24 are “”: A69=☠
- All F28 are “Topic age - G”: A76=☠
- A64: ∀x: ∀y: Human ActivityS33,
(x)∧ Global WarmingS28,
(y)∧ Cause OfS32,
(x, y): A67=☒⇒A68=☠⇒A83=☐⇒A84=☠⇒A191=☐⇒A192=☠⇒A193=☐⇒A194=☒⇒A195=☠
- A77: ∃x: Global WarmingS28,
(x): A85=☑⇒A116=☐
- A79: ∃x: Anthropogenic Global WarmingS31,
(x): A81=☒⇒A82=☑⇒A114=☐⇒A118=☒⇒A146=☐
- A139: ∀x: Year C.E.S46,
(FledF44(parents ofF42(U.S. Senator from FloridaF41)), x)⇒ Year C.E.S46,
(1956, x): A140=☠⇒A141=☐⇒A142=☠
- All F55 are “gcd”: A164=☠
- All F55 are “greatest common divisor”: A163=☠⇒A165=☐
- A170: ℕS58,
(1): A211=☠
- A182: ∀x: subsetS60,
(x, ℕF58)∧ memberS61,
(1, x)∧ ∀y: memberS61,
(y, x)⇒ memberS61,
(successorF59(y), x): A183=☠⇒A208=☐⇒A209=☠
- A210: ℕS58,
(0): A219=☠⇒A220=☐
Your Documents: