website/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm

module Debate.Arguments.Nutrition.HealthyDairy exposing (..)

import Debate.Types exposing (..)

argumentHealthyDairy : Argument
argumentHealthyDairy =
    { argumentTitle = "Argument for Healthy Dairy Products"
    , propositionTitle = "Non-churned, non-homogenized dairy do not cause atherosclerosis."
    , propositionSummary = "Summary"
    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qh)|=(~3Ph)"
    , definitionTable =
        [ { definiendum = "P(x)"
          , definiens = "(x) causes atherosclerosis"
          }
        , { definiendum = "Q(x)"
          , definiens = "populations consuming more (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates"
          }
        , { definiendum = "x"
          , definiens = "high saturated fat food"
          }
        , { definiendum = "h"
          , definiens = "non-churned, non-homogenized dairy"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "For all things, if high saturated fat food (x) causes atherosclerosis, then populations consuming more high saturated fat food (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
                  , notation = "(∀x(Px→Qx))"
                  }
                , { premise = "Populations consuming more non-churned, non-homogenized dairy do not have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
                  , notation = "(¬Qh)"
                  }
                ]
          , conclusion = "Therefore, non-churned, non-homogenized dairy do not cause atherosclerosis."
          , conclusionNotation = "(∴¬Ph)"
          }
        ]
    }