Durante uma análise lógica, um estudante afirma que 'se chove, então o chão fica molhado'. Essa proposição é um exemplo de qual tipo de estrutura lógica?