Πρόταση (μαθηματική λογική)