mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-16 15:15:12 -05:00
43 lines
No EOL
1.2 KiB
Markdown
43 lines
No EOL
1.2 KiB
Markdown
# Debate 1
|
|
|
|
## Proposition
|
|
> "someone is a woman if they have a female reproductive system."
|
|
|
|
## Reductio
|
|
|
|
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|
|
|:-------------------------------------------:|:------------------------------------------------- |
|
|
| <font color="CC6600">**W**</font> | someone (x) is a woman |
|
|
| <font color="CC6600">**R**</font> | someone (x) has reproductive organs to give birth |
|
|
| <font color="CC6600">**m**</font> | Olivia Munn |
|
|
|
|
<div style="text-align: center">
|
|
<font color="CC6600">
|
|
<b>P1)</b></font> Someone is a woman if, and only if, someone has female reproductive organs to give birth.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∀x(Wx↔Rx))</b>
|
|
<br />
|
|
<b>P3)</b></font> Olivia Munn does not have female reproductive organs to give birth.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(¬Rm)</b>
|
|
<br />
|
|
<b>C)</b></font> Therefore, Olivia Munn is not a woman.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∴¬Wm)</b>
|
|
<br />
|
|
<br />
|
|
</font>
|
|
</div>
|
|
|
|
[Proof Tree](https://www.umsu.de/trees/#(~6x(Wx~4Rx)),(~3Rm)|=(~3Wm))
|
|
|
|
---
|
|
|
|
# Hashtag
|
|
|
|
#debate
|
|
#debate_opponents
|
|
#transgender |