upRootNutrition/website
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/website.git synced 2025-06-16 04:25:11 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: removed an argument

Browse source
This commit is contained in:
Nick 2024-11-19 01:20:46 -06:00
parent 579f95477b
commit adf60bc0f8
1 changed files with 0 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

34
frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm
View file

@ -1,34 +0,0 @@
module Debate.Arguments.Nutrition.OptimalDiet exposing (..)
import Debate.Types exposing (..)
argumentOptimalDiet : Argument
argumentOptimalDiet =
{ argumentTitle = "Argument for the Artificial Manipulation of Food"
, propositionTitle = "The optimal human diet is likely heavily artificial."
, propositionReductio = ""
, propositionSummary = "Optimal diets will be a technological breakthrough, meaning that the diets that are best for humans just haven't been invented yet."
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
, definitionTable =
[ { definiendum = "P"
, definiens = "the health value of natural foods can be improved via artificial manipulation"
}
, { definiendum = "Q"
, definiens = "the optimal human diet is likely heavily artificial"
}
]
, argumentFormalization =
[ { premises =
[ { premise = "If the health value of natural foods can be improved via artificial manipulation, then the optimal human diet is likely heavily artificial."
, notation = "(P→Q)"
}
, { premise = "The health value of natural foods can be improved via artificial manipulation."
, notation = "(P)"
}
]
, conclusion = "Therefore, the optimal human diet is likely heavily artificial."
, conclusionNotation = "(∴Q)"
}
]
}