A proposição composta “Se o dono canta, então o cão dança” é equivalente a: