open formula

formula that contains at least one free variable

en-US/ˈoʊpən ˈfɑɹmjələ/
en-GB/ˈəʊpən ˈfɔːmjʊlə/

Categories:

well-formed formula