Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений: или (*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать ; Поскольку , то можно выбрать и гарантированно обеспечить ложность последнего выражения. Тогда ; Значит A хотя бы 11, все меньшие значения опровергаются значением ; Докажем, что подходит: в силу имеем - это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).
Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений:
или
(*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать
; Поскольку
, то можно выбрать
и гарантированно обеспечить ложность последнего выражения. Тогда
; Значит A хотя бы 11, все меньшие значения опровергаются значением
; Докажем, что
подходит: в силу
имеем
- это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).