Considere a seguinte afirmação:
“Se todos os cidadãos contribuem, então o país melhora”
Ela apresenta a estrutura lógica p → q.
Tal afirmação é logicamente equivalente a
“Se nenhum cidadão contribui, então o país piora”.
“Se o país não melhora, então nem todo cidadão contribui’.
“Se algum cidadão não contribui, então o país não melhora”.
“Se o país piora, então algum cidadão não contribui”.
