mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-15 15:55:13 -05:00
1.6 KiB
Executable file
1.6 KiB
Executable file
Dairy Cattle Rape 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 | bulls mating with cows |
| e | a cow |
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) A bull mating with a cow involves sexual contact with a cow.
(Qae)
P3) A cow does not render informed consent to a bull mating with a cow.
(¬Rea)
C) Therefore, a bull mating with a cow qualifies as rape.
(∴Pa)
(∀x∀y(Px↔(Qxy∧¬Ryx)))
P2) A bull mating with a cow involves sexual contact with a cow.
(Qae)
P3) A cow does not render informed consent to a bull mating with a cow.
(¬Rea)
C) Therefore, a bull mating with a cow qualifies as rape.
(∴Pa)
#debate #arguments #vegan #dairy