redmary41 redmary41 Today at 6:29 PM Mathematics Answered What is the meaning of "we shall use in formulas other symbols, namely defined predicates, operations, and constants, and even use formulas informally"?