mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-08-08 21:04:38 -05:00
1.7 KiB
Executable file
1.7 KiB
Executable file
Title
| Definiendum | Definiens |
|---|---|
| P | (x) is essential |
| Q | (x) can be synthesised by the body |
| R | insufficient exogenous intake of (x) associates with unique pathological conditions |
| x | a nutrient |
| f | saturated fat |
P1) For all (x), where (x) is a nutrient, (x) is essential if, and only if, (x) cannot be synthesised by the body and insufficient exogenous intake of (x) associates with unique pathological conditions.
(∀x(Px↔(¬Qx∧Rx)))
P2) Saturated fat can be synthesised by the body.
(Qf)
P3) Insufficient exogenous intake of saturated fat do not associate with unique pathological conditions.
(¬Rf)
C) Therefore, saturated fat is not essential.
(∴¬Pf)
(∀x(Px↔(¬Qx∧Rx)))
P2) Saturated fat can be synthesised by the body.
(Qf)
P3) Insufficient exogenous intake of saturated fat do not associate with unique pathological conditions.
(¬Rf)
C) Therefore, saturated fat is not essential.
(∴¬Pf)
Hashtags
#debate_opponents #saturated_fat