1. Формализовать высказывание на языке логики предикатов первого
порядка:
Справедливо быть признательным не только тем, чьи мнения мы
можем разделить, но и тем, кто высказался более поверхностно.
2. Определить условия истинности формулы, полученной в задании 1, в
рамках теоретико-модельной семантики.
3. Определить вид формулы, полученной в задании 1, с помощью семантических таблиц.