No contexto da lógica, se não é verdade que a ocorrência de P implique a ocorrência de Q ou R, e também se a ocorrência de T implica a ocorrência de Q, pode-se concluir que