Geek Answers Handbook

A formula against a well-formed formula in propositional logic

Can someone explain the difference between a formula in general and a well-formed formula? Is it possible to determine the meaning of the truth of a poorly formed formula?

+4
source share
1 answer

The validity of a formula or its truth value (or, in a more general sense, its evaluation) can be evaluated only if the formula is well formed with respect to a given set of syntax rules.

So, a formula in general , and in the context of mathematics or logic, means a well-formed formula.

Strictly speaking, you can say that if your characters include '+' | '(' | ')' | 'a'-'z', the formula in the strict sense is any string formed by these characters. For example, a((++zthis is a formula.

But you also need to look at the rules for constructing the formula. And if the rules, for example,

F,E ::= F + E | (F) | 'a'-'z'

then your formula is poorly formed.

+4
source

More articles:


All Articles