помогите доказать тавтологию предикатов!!!

[Val Crazy]

спасибо Виктор Викторов. с доказательством тавтологии я разобралась, а с предваренной формой пошла на экзамен как было. преподаватель сказал, если это единственное с чем я не разобралась, то "хор" мне обеспечено. решила билет, ответила на вопрос и решила задание по этой же теме, но намного проще. преподаватель обещание сдержал