<span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span> plural of <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span>...
<span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span> (plural <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span> or <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> formulae) (logic) A statement that is expressed in a valid, syntactically correct manner...
prime <span class="searchmatch">formula</span> (plural prime <span class="searchmatch">formulas</span> or prime formulae) (logic) A <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span> which has not been made by combining simpler <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span> by...
such as XML, <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> may have a very specific and precisely defined meaning. ill-<span class="searchmatch">formed</span> <span class="searchmatch">formed</span> <span class="searchmatch">well</span>-<span class="searchmatch">formedness</span> <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span> syntactically...
combining (or modifying) <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span> of a formal language in a truth-preserving manner (to yield new <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span>). modus ponens modus tollens...
<span class="searchmatch">well</span>-<span class="searchmatch">formed</span> formulae plural of <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span>...
explosively <span class="searchmatch">formed</span> penetrator <span class="searchmatch">formedness</span> hydroformed ill-<span class="searchmatch">formed</span> informed malformed neoformed newly-<span class="searchmatch">formed</span> self-<span class="searchmatch">formed</span> semiformed twiformed <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">well</span>-formed...
formation rules) (logic) Any of a set of rules used to construct <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formulas</span> of a formal language. formal grammar formal language reformulation...
comparable) (mathematics) Having a unique solution whose value changes only slightly if initial conditions change slightly <span class="searchmatch">well</span>-behaved <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span>...
WFF (plural WFFs) Alternative letter-case <span class="searchmatch">form</span> of wff; <span class="searchmatch">well</span>-<span class="searchmatch">formed</span> <span class="searchmatch">formula</span>....