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

User login

functional completeness

functionally complete
truth functional completeness, truth functionally complete
Type of Math Object: 
Major Section: 
Groups audience: 

Mathematics Subject Classification

03B05 no label found


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:


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"