Sentence
A
Logic
Formula
with no
Free
variables.
© 1996-9
Eric W. Weisstein
1999-05-26