A79

Related Documents
  • D5: Topic page - Global Warming, AGW, Climate Change
Related Theorems
Theorem T7 by joemayo
Equivalence Assertions
(none)
Related Subjects
  • S28: “Global Warming”
  • S30: “Climate Change”
  • S31: “Anthropogenic Global WarmingS28”
  • S32: “Cause Of”
  • S33: “Human Activity”
  • S34: “Greenhouse Gasses”
  • S35: “Increasing”
  • S36: “Increasing levels of greenhouse gasses in the Earth's atmosphere”
  • S37: “reduced dependence on fossil fuels”
  • S38: “atmospheric carbon dioxideS39 level”
  • S39: “carbon dioxide”
  • S40: “Anthropogenic”
Favorite Subjects
(none)
A79: ∃x: Anthropogenic Global WarmingS31, (x)
By User 1 on on 2011-09-13

Create a theorem from this assertion.

Related Assertions
  • A64: ∀x: ∀y: Human ActivityS33, (x)∧ Global WarmingS28, (y)∧ Cause OfS32, (x, y)
  • 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)
  • A102: ∀x: carbon dioxideS39, (x)⇒ Greenhouse GassesS34, (x)
  • A104: ∀x: Cause OfS32, (x, Human ActivityF33)⇔ AnthropogenicS40, (x)
  • A113: ∀x: Global WarmingS28, (x)⇒ Climate ChangeS30, (x)

0 Comments on A79

No comments yet.

add a comment