Укажите равносильные утверждения: все попугаи двуногие - у всех попугаев две ноги

Ниже перечислены равносильные утверждения к исходному:

Исходное утверждение (логически: для любого x, если x — попугай, то у x две ноги)

• ∀x (Parrot(x) → Legs(x) = 2)

Естественные формулировки, эквивалентные исходному:

• Все попугаи имеют две ноги.
• Любой попугай имеет две ноги.
• Попугаи — двуногие животные.
• Все попугаи относятся к классу двуногих существ.
• У каждого попугая ровно две ноги.

Символические/множественные представления того же смысла:

• Parrot ⊆ TwoLeggedAnimals (множество попугаев содержится внутри множества двуногих существ)
• ∀x (Parrot(x) → Legs(x) = 2)

Ключевое напоминание:

• Все перечисленные варианты эквивалентны только в том случае, что под “двуногие” понимается ровно две ноги. Если трактовать как “как минимум две ноги”, формулировка могла бы измениться.