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

feat: added some argument pictures

Browse source
This commit is contained in:
Nick 2024-11-28 03:51:30 -06:00
parent 6019079212
commit bf67d08d0c
79 changed files with 53 additions and 54 deletions
Download patch file Download diff file Expand all files Collapse all files

11
frontend/src/Debate/Arguments/VeganSocietyReductio.elm
View file

@ -9,10 +9,9 @@ argumentVeganSocietyReductio =
, propositionTitle = "It is vegan to eat Groot."
, propositionReductio = ""
, propositionSummary = "Summary"
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))"
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))"
, argumentCertainty = 10
, argumentImage = ""
, argumentImage = "vegansociety"
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "it is vegan to do (x)"
@ -23,10 +22,10 @@ argumentVeganSocietyReductio =
, { definiendum = "R(x)"
, definiens = "(x) is an animal"
}
, { definiendum = "x"
, { definiendum = "x"
, definiens = "a being"
}
, { definiendum = "y"
, { definiendum = "y"
, definiens = "an animal"
}
, { definiendum = "e"
@ -52,4 +51,4 @@ argumentVeganSocietyReductio =
, conclusionNotation = "P(e(g))"
}
]
}
}