[ 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

File: 6 KB, 200x191, universal-quantifier-for-all.png [View same] [iqdb] [saucenao] [google]

14709716

is this the most based quantifier ? Anonymous Fri Jul 29 09:19:06 2022 No.14709716 [Reply] [Original]

>>	Anonymous Fri Jul 29 09:22:10 2022 No.14709722 >>14709716 reverse E is better

>>	Anonymous Fri Jul 29 09:23:23 2022 No.14709723 >>14709716 >the negation of "for all" is "there exists at least one" instead of "there exists none" dosent sound so based at all

>>	Anonymous Fri Jul 29 09:26:48 2022 No.14709733 >>14709723 im never coming back to /sci/ again

>>	Anonymous Fri Jul 29 09:27:49 2022 No.14709735 >>14709723 dude

>>	Anonymous Fri Jul 29 09:40:18 2022 No.14709747 File: 548 KB, 680x680, 374.png [View same] [iqdb] [saucenao] [google] >>14709723 10/10 would recreate math

>>	Anonymous Fri Jul 29 09:42:07 2022 No.14709748 >>14709723 kys

>>	Anonymous Fri Jul 29 09:42:45 2022 No.14709749 >>14709723 because there exists none is [math](\forall x) \sim[/math], which obviously is equivalent to [math]\sim (\exists x)[/math].

>>	Anonymous Fri Jul 29 09:44:02 2022 No.14709750 >>14709749 how you write the floppy line?

>>	Anonymous Fri Jul 29 09:46:09 2022 No.14709754 >>14709750 >floppy line I'm dead

>>	Anonymous Fri Jul 29 09:46:43 2022 No.14709756 >>14709723 nice troll

>>	Anonymous Fri Jul 29 12:22:14 2022 No.14710051 >>14709723 brainlet

>>	Anonymous Fri Jul 29 12:29:22 2022 No.14710064 >>14709750 On a standard layout US keyboard it's to the left of the 1 key.

>>	Anonymous Fri Jul 29 13:31:56 2022 No.14710242 >>14709733 >>14709735 I don't get it. How are there exists and there is no not both compatible with the negation of for all

>>	Anonymous Fri Jul 29 13:38:45 2022 No.14710267 >>14710242 Nevermind I get it. That's dumb because it's only confusing because it's not normal speech but this system. (also not that anon)

>>	Anonymous Fri Jul 29 15:28:08 2022 No.14710578 >>14710242 >>14709723 The opposite of All, is None For 1, is the most specific signifyer of uniqueness it would seem

>>	Anonymous Fri Jul 29 16:37:56 2022 No.14710766 >>14709754 the worm? what do you want me to call it?

>>	Anonymous Fri Jul 29 21:11:37 2022 No.14711513 >>14710267 i also thought of that too at first i even felt like a brainlet because people acted like it wasnt the correct way of interpreting it

>>	Anonymous Fri Jul 29 21:23:00 2022 No.14711535 >>14709723 Eh? The negation of "P for all X" is "~P for some X".

>>	Anonymous Fri Jul 29 21:28:35 2022 No.14711549 >>14710766 the bow tie

>>	Anonymous Fri Jul 29 22:05:29 2022 No.14711625 >>14710242 It's either there doesn't exist element that satisfies stated condition or there exists element that doesn't satisfy condition. The second one is a counter proof method rather then direct statement complement