Artificial intelligent assistant

What is the difference between well-defined and well-formed? Well-defined and well-formed seem like pretty much the same concepts. I did read through the Wikipedia pages on both subjects. Can you elaborate on how they are different and provide examples (on a beginner level)? Thanks.

Well-defined is a property of _functions_ ; well-formed is a property of _logical propositions_. A well-defined function is any function that is single-valued (see Tim Gowers's site for a good explanation) and a well-formed proposition is any proposition that makes sense syntactically. This function is not well defined: $$ f(a/b)=a+b. $$ This proposition is not well-formed: $$ PQ\land. $$ (EDIT: It actually is well-formed if you use reverse Polish notation. But the string $(P\implies(QQ))$ is definitely not well-formed) Does that clear up the matter?

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 846538f0929881a6ae869e4ce2f7df4d