In symbolic logic, can either of these two be considered WFFs?

[Polish3d]

Is it permissible to have either of the following to formulations:



(A->B->C) - Is it missing a set of parenthesis to designate the main operator?


~(~~GvB) - Can you have that level of redundancy in tildes? (~ are negation)

 

[OdiN]

.....Worst Friend Forever Jill?

 

[TruePaige]

OMG, that's SNFF

 

[Cogman]

Well you see the IDF of the CRF is the BTM of the YMCA. So take the RTM of the BYF to the PCM. After that it is a simple matter of DYI, FYI.

 

[nakedfrog]

Originally posted by: OdiN
.....Worst Friend Forever Jill?

Waffle Fiend Forever

 

[PottedMeat]

You need to take the Gaussian CDF of the first PDF. Then you can find the Fermi energy level as it relates to Mason's rule. Simple enough.

 

[DisgruntledVirus]

Only if it = 1.21 jiggawatts