Re: completeness what is it exactly

herbzet schrieb:
Would someone please explain to me why propositional logic
does not have variables? Or does not have free variables?
Or whatever? I must have missed the memo.

Your propositional formulae at the bottom of this post
sure look to me like they contain free variables.

No, they are zero arity predicate constants.

Bye
.