7-letter word for a formula in mathematics deduced from other propositions
[DOC] [TLE] Classical Logic (Stanford Encyclopedia of Philosophy) [PAR] Sep 16, 2000 ... ... (successful) declarative sentences express propositions; and formulas of 
formal ...