Обозначим предикаты: A = "Придет Вася"; B = "Придет Коля"; C = "Мама разрешит". Функция: F = "Пойду гулять" Высказывание: Если ((A или B) и C) То F. Таблица истинности: A | B | C | F 0 | 0 | 0 | 0 0 | 0 | 1 | 0 0 | 1 | 0 | 0 0 | 1 | 1 | 1 1 | 0 | 0 | 0 1 | 0 | 1 | 1 1 | 1 | 0 | 0 1 | 1 | 1 | 1 Таким образом, функция будет истинной, если истинный хотя бы один из предикатов А или В, и при этом истинный предикат С. Если придет Вася, или Коля, или даже оба, но мама не разрешит, то я гулять не пойду. Если ни один из мальчиков не придет, то даже если мама разрешит, все равно я гулять не пойду. И только если и ребята придут (хотя бы один), и мама разрешит, тогда я пойду гулять.
Второй множитель выделим полный квадрат, то есть:
Поскольку второй множитель неравенства всегда неотрицательно, то данное неравенство зависит только от , т.е. при
Так что, утверждение при всех х не верно, а верно только для x>0