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

Ниже перечислены равносильные утверждения к исходному: Исходное утверждение (логически: для любого x, если x — попугай, то у x две ноги) - ∀x (Parrot(x) → Legs(x) = 2) Естественные формулировки, эквивалентные исходному: - Все попугаи имеют две ноги. - Любой попугай имеет две ноги. - Попугаи — двуногие животные. - Все попугаи относятся к классу двуногих существ. - У каждого попугая ровно две ноги. Символические/множественные представления того же смысла: - Parrot ⊆ TwoLeggedAnimals (множество попугаев содержится внутри множества двуногих существ) - ∀x (Parrot(x) → Legs(x) = 2) Ключевое напоминание: - Все перечисленные варианты эквивалентны только в том случае, что под “двуногие” понимается ровно две ноги. Если трактовать как “как минимум две ноги”, формулировка могла бы измениться.