Um analista de sistemas está revisando o código de um programa que gerencia o estoque de uma loja. Ele se depara com a seguinte condição lógica: 'Se o estoque de um produto estiver abaixo de 10 unidades (P), então um alerta será emitido (Q)'. Essa estrutura representa uma relação de dependência onde a ocorrência de uma situação (P) leva diretamente à outra (Q). Qual tipo de proposição composta é formado por essa relação?