Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: wikipedia.org/wiki/Quantifier#Equivalent_Expressions
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
INFINITY POWER

Posts: 117
Registered: 11/1/11
wikipedia.org/wiki/Quantifier#Equivalent_Expressions
Posted: Nov 17, 2012 9:30 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

http://en.wikipedia.org/wiki/Quantifier#Equivalent_Expressions

AxeX P(x)
/\
||
\/
{xeX} -> P(x)

---------------------

THIS IS JUST ABSOLUTELY INCREDIBLE!

NOBODY EVERY REALISED ALL(X) is just SubSet!

AxeX P(x)
/\
||
\/
{x|xeX} C {x|P(x)}

ALL SOLUTIONS FOR X in LHS SET
is a subset of
ALL SOLUTIONS FOR X in RHS SET


ALL(x)...
is the same PARAMETER NAMING SYSTEM AS
{ x | .... }

ALL(x):N P(x)
is just
{ x | xeN } C p(x)

ALL x satisfying xeN

SAME ALL!

The real reason SET THEORY embeds logic, when they're actually 2 different
SYNTAXES for ALL(x).

And another of my 100 Proofs Of Logic totally ignored by all sci.logic,
sci.math.

Herc
--
if( if(t(S),f(R)) , if(t(R),f(S)) ).
if it's sunny then it's not raining
ergo
if it's raining then it's not sunny






Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.