http://wiki.karljones.com/index.php?action=history&feed=atom&title=Well-formed_formula 2026-10-23T15:15:31Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Well-formed_formula&diff=17632&oldid=prev 2016-09-03T21:04:27Z

<p>‎<span dir="auto"><span class="autocomment">External links</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 21:04, 3 September 2016</td> </tr><tr><td colspan="2" class="diff-lineno">Line 19:</td> <td colspan="2" class="diff-lineno">Line 19:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/Well-formed_formula Well-formed formula] @ Wikipedia.org &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/Well-formed_formula Well-formed formula] @ Wikipedia.org &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[Category:Formal language]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Logic]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Logic]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Mathematics]]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Mathematics]]</div></td></tr> </table>

Karl Jones http://wiki.karljones.com/index.php?title=Well-formed_formula&diff=17629&oldid=prev 2016-09-03T20:51:37Z

<p>Created page with &quot;In <a href="/index.php/Mathematical_logic" title="Mathematical logic">mathematical logic</a>, a &#039;&#039;&#039;well-formed formula&#039;&#039;&#039;, abbreviated &#039;&#039;&#039;wff&#039;&#039;&#039;, often simply &#039;&#039;&#039;formula&#039;&#039;&#039;, is a finite sequence of <a href="/index.php/Symbol_(formal)" title="Symbol (formal)">symbols</a> from a given A...&quot;</p> <p><b>New page</b></p><div>In [[mathematical logic]], a '''well-formed formula''', abbreviated '''wff''', often simply '''formula''', is a finite sequence of [[Symbol (formal)|symbols]] from a given [[Alphabet (formal languages)|alphabet]] that is part of a [[formal language]].<br /> <br /> A formal language can be identified with the set of formulas in the language.<br /> <br /> A formula is a [[Syntax (logic)|syntactic]] object that can be given a [[Semantics of logic|semantic meaning]] by means of an interpretation.<br /> <br /> Two key uses of formulas are in propositional logic and predicate logic.<br /> <br /> == See also ==<br /> <br /> * [[Alphabet (formal languages)]]<br /> * [[Ground expression]]<br /> * [[Semantics of logic]]<br /> * [[Symbol (formal)]]<br /> * [[Syntax (logic)]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Well-formed_formula Well-formed formula] @ Wikipedia.org <br /> <br /> [[Category:Formal language]]<br /> [[Category:Logic]]<br /> [[Category:Mathematics]]</div>

Karl Jones