http://wiki.karljones.com/index.php?action=history&feed=atom&title=Ground_expression 2026-10-23T20:00:15Z Revision history for this page on the wiki MediaWiki 1.24.2 http://wiki.karljones.com/index.php?title=Ground_expression&diff=19849&oldid=prev 2016-12-07T17:21:18Z

<p>Created page with &quot;In <a href="/index.php/Mathematical_logic" title="Mathematical logic">mathematical logic</a>, a &#039;&#039;&#039;ground term&#039;&#039;&#039; of a <a href="/index.php/Formal_system" title="Formal system">formal system</a> is a <a href="/index.php/Term_(logic)" title="Term (logic)">term</a> that does not contain any [[Free variables and bound variables|free variables]...&quot;</p> <p><b>New page</b></p><div>In [[mathematical logic]], a '''ground term''' of a [[formal system]] is a [[Term (logic)|term]] that does not contain any [[Free variables and bound variables|free variables]].<br /> <br /> Similarly, a ground formula is a formula that does not contain any free variables.<br /> <br /> == See also ==<br /> <br /> * [[Formal system]]<br /> * [[Free variables and bound variables]]<br /> * [[Logic]]<br /> * [[Mathematical logic]]<br /> * [[Term (logic)]]<br /> <br /> == External links ==<br /> <br /> * [https://en.wikipedia.org/wiki/Ground_expression Ground expression] @ Wikipedia<br /> <br /> [[Category:Logic]]<br /> [[Category:Mathematics]]</div>

Karl Jones