Reducto Ad Absurdum Argument

A reducto ad absurdum argument uses a known premise Q in the implication of $P⟹Q$ is false, then we can assert that $P$ is also false.[^1] For example.[^1]
$A⟹F$: If animals have all of the rights of people, then fleas would be able to vote.
$\neg F$: Fleas are not able to vote
$\therefore$ animals do not have the rights for all people.

rockwellLogicalInferenceForms2021[^1]