Matemática — Raciocínio Lógico

Do ponto de vista lógico, se for verdadeira a proposição condicional "se eu ganhar na loteria, então comprarei uma casa", necessariamente será verdadeira a proposição: