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: