Дискретная математика

1 задание
Введите одноместныепредикаты на а) множестве змей, б) множестве животных и запишите формулами логики преди-катов следующие утверждения, укажите их значения истинности. Постройте отрицания полученных (различных) фор-мул и переведите их на естественный язык: 1) Змеи ядовиты всегда. 2) По крайней мере одна змея ядовит

2 задание. Операции квантификации для предикатов от нескольких переменных. Рассмотреть различные ком-бинации двух кванторов для конкретного предиката от 2-х переменных. Предикат придумайте сами