mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-15 16:15:11 -05:00
2 KiB
Executable file
2 KiB
Executable file
Debate 1
Argument
Definiendum | Definiens |
---|---|
F | a food (x) as poor mineral yields |
H | a food (x) is healthy |
o | oatmeal |
P1) If a food as poor mineral yields, then the food is not healthy.
(∀x(Fx→¬Hx))
P2) Oatmeal has poor mineral yields.
(Fo)
C) Therefore, oatmeal is not healthy.
(∴¬Ho)
(∀x(Fx→¬Hx))
P2) Oatmeal has poor mineral yields.
(Fo)
C) Therefore, oatmeal is not healthy.
(∴¬Ho)
Reductio
Definiendum | Definiens |
---|---|
F | a food (x) as poor mineral yields |
H | a food (x) is healthy |
n | honey |
P1) If a food as poor mineral yields, then the food is not healthy.
(∀x(Fx→¬Hx))
P2) Oatmeal has poor mineral yields.
(Fn)
C) Therefore, oatmeal is not healthy.
(∴¬Hn)
(∀x(Fx→¬Hx))
P2) Oatmeal has poor mineral yields.
(Fn)
C) Therefore, oatmeal is not healthy.
(∴¬Hn)
Hashtags
#debate #debate_opponents #clowns #clownery #carnivore