Considere que as sentenças abaixo são verdadeiras.
“Se chove muito, então os rios transbordam.”
“Se os rios transbordam, então há enchentes.”
Assim sendo, também é verdadeira a sentença:
Considere que as sentenças abaixo são verdadeiras.
“Se chove muito, então os rios transbordam.”
“Se os rios transbordam, então há enchentes.”
Assim sendo, também é verdadeira a sentença:
se há enchentes, então chove muito.
se os rios transbordam, então chove muito.
se não há enchentes, então não chove muito.
se há enchentes, então os rios transbordam.
se os rios não transbordam, então não há enchentes.