///
Uma proposição matemática simples de uma sentença, expressa em palavras ou símbolos, procura exprimir um juízo ao qual se possa atribuir, dentro de um determinado contexto proposto, apenas duas situações lógicas associadas a “verdadeiro” ou “falso” . Dentro das proposições compostas temos o que chamamos de Tautologias, sendo que serão sentenças sempre verdadeiras independentemente dos eventos associados e as Contradições, que por sua vez serão sentenças sempre falsas independentemente dos eventos associados, assim sendo, dizemos que a “ negação de uma Tautologia é sempre uma Contradição”.
Outro capítulo das proposições matemáticas é a das Proposições Logicamente Equivalentes, nas quais
algumas leis de equivalência se estabelecem, assim, se adotarmos as proposições X, Y e Z, qual das leis a
seguir identificaríamos como a lei de Equivalência da Condicional?