Questão de Matemática

Um tesoureiro público está revisando procedimentos de controle interno e analisa a seguinte proposição lógica referente aos critérios para autorização de pagamentos: “Se o documento está regular E foi aprovado pelo setor competente, ENTÃO o documento está regular OU não foi aprovado pelo setor competente”. O que é essa proposição?