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