[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 44 KB, 500x667, What_does_it_mean.jpg [View same] [iqdb] [saucenao] [google]
4962394 No.4962394 [Reply] [Original]

Who would win in a fight, the existential or the universal quantifier?

<span class="math">\exists[/spoiler] vs. <span class="math">\forall[/spoiler]

>> No.4962399

existential

'cause not E such that not x <=> for all x

>> No.4962403

¬∃x(Rx) <=> ∀x(¬Rx)