👉 Synechotomy is a mathematical concept in propositional logic that states that two statements are equivalent if and only if they have exactly one truth value. It is named after the Greek philosopher Pythagoras, who proposed it in his work "Liber Abaci." In other words, this means that if you can prove that two statements are equivalent, then they must be true of a single thing or object.