Тема 5.1. Понятие предиката. Логические и кванторные операции над предикатами. Формулы логики предикатов
Формулировка задания 6
Для предикатов из табл. 6.1, заданных на R, выяснить, является ли первый предикат является следствием второго, а второй – следствием первого.