Lógica proposicional

Uma proposição é aquilo que é expresso através de sentenças declarativas e que é verdadeiro ou falso.