Na lógica, uma implicação entre duas proposições afirma que, se a primeira for verdadeira, então a segunda também deve ser. Quando uma implicação é considerada verdadeira?