дз1

Домашнее задание №1 по курсу МПЗиО.Асирян Александр.Текст:Крокодилы распространены во всех тропических странах, обитая вразнообразных пресных водоёмах; представители семейств настоящихкрокодилов и гавиалов терпимо относятся к солёной воде и некоторые из нихвстречаются в прибрежной части морей.

Все современные крокодилыприспособлены к полуводному образу жизни — обитая в воде, яйца они,однако, откладывают на суше. На суше они довольно медлительны инеуклюжи, но способны предпринимать иногда значительные переходы,удаляясь от водоёмов на несколько километров. При быстром движениикрокодилы, единственные из современных рептилий, ставят ноги подтуловище (обычно они широко расставлены). Некоторые виды способныразвивать скорость до 17 км/ч. У взрослых крокодилов крупных видовестественных врагов нет, но многие животные, особенно вараны, черепахи,птицы (цапли) и различные млекопитающие, охотно поедают яйца и молодыхкрокодилов.Область:D = Животные + Страны + Поверхность + Натуральные числаСигнатура:1.

Константы: 17.2. Предикаты: Крокодил(x), Тропическая(x), Пресный_водоем(х),Прибрежная_часть_моря(х), Вода(х), Суша(х), Обитает(кто, где),Медлительный(х), Неуклюжий(х), Быстро(кто, скорость),Ставит_ноги_под_туловище(х), Рептилия(x), =(кто, кому),Взрослый(x), Естественный_враг(x, y), Крупный(x), Животное(x).3. Функциональные символы:Скорость(х), Местоположение(х), Возраст(x), Вид(x).Знания:1. “Крокодилы распространены во всех тропических странах”:∀∃(Тропическая() ∧ Крокодил() ⟶ Обитает(, ))2.

“обитая в разнообразных пресных водоёмах; представители семействнастоящих крокодилов и гавиалов терпимо относятся к солёной воде инекоторые из них встречаются в прибрежной части морей”:∃∃(Крокодил() ∧ Обитает(, )∧ (Пресный_водоем(y) ∨ Прибрежная_часть_моря(y))3. “Все современные крокодилы приспособлены к полуводному образужизни — обитая в воде, яйца они, однако, откладывают на суше.”(поверхность суши и воды не пересекаются):∀∃∃(Крокодил( ) ∧ Вода() ∧ Суша()⟶ Обитает(, ) ∧ Обитает(, ))4. “На суше они довольно медлительны и неуклюжи”:∀(Крокодил( ) ∧ Суша(Местоположение())⟶ Медлительный( ) ∧ Неуклюжий(x))5. “При быстром движении крокодилы, единственные из современныхрептилий, ставят ноги под туловище”:∀(Крокодил() ∧ Суша(Местоположение( ))∧ Быстро(Скорость())⟶ Ставит_ноги_под_туловище()) ∧¬∃(Рептилия() ∧ ¬Крокодил() ∧ Суша(Местоположение())∧ Быстро(Скорость())∧ Ставит_ноги_под_туловище())6.

“Некоторые виды способны развивать скорость до 17 км/ч.”:∃(Крокодил() ∧= (Скорость(), 17))7. “У взрослых крокодилов крупных видов естественных врагов нет”:∀¬∃(Крокодил() ∧ Взрослый(Возраст( ))∧ Крупный(Вид()) ∧ Животное() ⟶ Естественный_враг(, )).