mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-12-07 06:27:14 -06: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