Segundo o Código de Trânsito Brasileiro (CTB), dirigir sob efeito de álcool envolve suspensão da Carteira Nacional de Habilitação (CNH) e multa de valor significativo. Nas campanhas educativas relativas às questões de álcool e direção são apresentadas frases do tipo: “se beber, não dirija”. Para o raciocínio lógico, trata-se de uma proposição composta com o conectivo “se...então” e pode ser escrita como: “se beber, então não dirija”. Uma equivalência e uma negação da proposição citada são, respectivamente: