Данное суждение записать в виде формулы логики предикатов

1) Введем обозначения:
A(x) = «x – действительное число»;
B(x) = «x – рациональное число».
В логике предикатов получим: .
Построим отрицание данного высказывания и упростим его:
На естественном языке получаем: «Всякое действительное число является рациональным».
2) Введем обозначения:
A(x) = «x – выгул запрещен»;
B(x) = «x – собака»;
C(x) = «x – кошка».
В логике предикатов получим: .
Построим отрицание данного высказывания и упростим его:
На естественном языке получаем: «Выгул некоторых собак или кошек запрещен».
3) Каждый, купивший билет, получит премию.
Введем обозначения:
A(x) = «x – купил билет»;
B(x) = «x – получил премию».
В логике предикатов получим: .
Построим отрицание данного высказывания и упростим его:
На естественном языке получаем: «Некоторые из тех, кто купил билет не получат премию».