mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-15 15:55:13 -05:00
3.3 KiB
Executable file
3.3 KiB
Executable file
Argument for Wearing Sunglasses
Definiendum | Definiens |
---|---|
P | prolonged exposure to high-intensity UV radiation causes eye damage |
Q | wearing sunglasses that block high-intensity UV radiation prevents eye damage |
R | one (x) has the goal of preventing eye damage |
S | one (x) is exposed to prolonged high-intensity UV radiation |
W | one (x) should wear sunglasses |
b | Ken Berry |
P1) If prolonged exposure to high-intensity UV radiation causes eye damage, then wearing sunglasses that block high-intensity UV radiation prevents eye damage.
(P→Q)
P2) If wearing sunglasses that block high-intensity UV radiation prevents eye damage and one has the goal of preventing eye damage, then if one is exposed to prolonged high-intensity UV radiation, then one should wear sunglasses.
(∀x(Q∧Rx→(Sx→Wx)))
P3) Prolonged exposure to high-intensity UV radiation causes eye damage and Ken Berry has the goal of preventing eye damage.
(P∧Rb)
C) Therefore, if Ken Berry is exposed to prolonged high-intensity UV radiation, then Ken Berry should wear sunglasses.
(∴Sb→Wb)
(P→Q)
P2) If wearing sunglasses that block high-intensity UV radiation prevents eye damage and one has the goal of preventing eye damage, then if one is exposed to prolonged high-intensity UV radiation, then one should wear sunglasses.
(∀x(Q∧Rx→(Sx→Wx)))
P3) Prolonged exposure to high-intensity UV radiation causes eye damage and Ken Berry has the goal of preventing eye damage.
(P∧Rb)
C) Therefore, if Ken Berry is exposed to prolonged high-intensity UV radiation, then Ken Berry should wear sunglasses.
(∴Sb→Wb)
Debate 1
Proposition
"Animal agriculture produces no unnecessary suffering."
Argument
P1) If farming cows necessitates suffering, then farming cows produces no unnecessary suffering.
(P→Q)
P2) Farming cows necessitates suffering.
(P)
C) Therefore, farming cows produces no unnecessary suffering.
(∴Q)
(P→Q)
P2) Farming cows necessitates suffering.
(P)
C) Therefore, farming cows produces no unnecessary suffering.
(∴Q)
Analysis
Reductio
P1) If stabbing babies necessitates suffering, then stabbing babies produces no unnecessary suffering.
(P→Q)
P2) Stabbing babies necessitates suffering.
(P)
C) Therefore, stabbing babies produces no unnecessary suffering.
(∴Q)
(P→Q)
P2) Stabbing babies necessitates suffering.
(P)
C) Therefore, stabbing babies produces no unnecessary suffering.
(∴Q)
[Proof Tree](Proof Tree)
Malpractice Receipts
Hashtags
#debate #debate_opponents #clowns #clownery