Для предикатов, заданных на , выяснить, является ли первый предикат следствием второго, а второй – следствием первого. sinx = 1, x^2 = 0

Предикат называется следствием предиката заданного над тем же множеством, что и предикат , если он обращается в истинное высказывание на всех тех наборах значений переменных, на которых в истинное высказывание обращается предикат