functional completeness

Primary tabs

Defines:
functionally complete
Synonym:
truth functional completeness, truth functionally complete
Type of Math Object:
Definition
Major Section:
Reference
Groups audience:

Mathematics Subject Classification

(truth-)functional completeness

Because "functional completeness" is somewhat standard for a different property in lambda calculus and combinators, it is probably best to use "truth-functional completeness" for the propositional calculus property.

V_i == V(F_i) ?

V(F) was defined:

V(F) the set of all wffs built from V with respect to F

and examples given:

V(F_5)

However, V_i was not defined; yet, its used:

V_5 is a much larger set than, say, V_1

shouldn't V_i be defined as an abbreviation for V(F_i)?

Yes.. Thank you!