Is ∀z S(x,y) a well-formed formula?

Related MCQs

• A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
• The formula or sentences that can be maid true by certain valuation function are called