mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-15 16:15:11 -05:00
1.6 KiB
Executable file
1.6 KiB
Executable file
Ari's Rapist Bull Argument
| Definiendum | Definiens |
|---|---|
| P(x) | (x) qualifies as rape |
| Q(x,y) | (x) involves sexual contact with (y) |
| R(y,x) | (y) renders informed consent for (x) |
| x | An action |
| y | an involved party |
| a | Ari's bull mating with Edith |
| e | Edith |
P1) An action qualifies as rape if, and only if, the action involves sexual contact with an involved party and the involved party does not render informed consent for the action.
(∀x∀y(Px↔(Qxy∧¬Ryx)))
P2) Ari's bull mating with Edith involves sexual contact with Edith.
(Qae)
P3) Edith does not render informed consent for Ari's bull mating with Edith.
(¬Rea)
C) Therefore, Ari's bull mating with Edith qualifies as rape.
(∴Pa)
(∀x∀y(Px↔(Qxy∧¬Ryx)))
P2) Ari's bull mating with Edith involves sexual contact with Edith.
(Qae)
P3) Edith does not render informed consent for Ari's bull mating with Edith.
(¬Rea)
C) Therefore, Ari's bull mating with Edith qualifies as rape.
(∴Pa)
Hashtags
#debate #debate_opponents #arguments #vegan