Em raciocínio lógico matemático, denomina-se proposição toda sentença que pode ser julgada como verdadeira ou falsa, mas não ambas. Os conectivos têm a função de ligar sentenças simples e transformá-las em compostas. Em relação ao valor lógico das sentenças compostas, julgue, como VERDADEIRO ou FALSO, o item a seguir.
“Se 2+2 = 4 então 6+9 13” é verdadeiro.