Решение задач логика предикатов

1. Формализовать высказывание на языке логики предикатов первого

порядка: Справедливо быть признательным не только тем, чьи мнения мы можем разделить, но и тем, кто высказался более поверхностно.

2. Определить условия истинности формулы, полученной в задании 1, в рамках теоретико-модельной семантики.

3. Определить вид формулы, полученной в задании 1, с помощью семантических таблиц.