Por ejemplo, la proposición ""Todos los murciélagos son mamíferos"" puede ser reescrita en su forma condicional ""Si algo es murciélago, entonces es mamífero."" Por último, la ley dice que la sentencia es idéntica a su contrapositiva ""Si algo no es mamífero, entonces no es murciélago.""