Well-formed formula

finite sequence of symbols from a given alphabet that is part of a formal language

propositional formula negation normal form atomic formula sentence canonical normal form open formula

Showing 0 to 6 of 6 Items