Fork me on GitHub
Math for the people, by the people.

User login

functional completeness

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

Mathematics Subject Classification

03B05 no label found

Comments

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(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!

Subscribe to Comments for "functional completeness"