Докажите логический закон ( ( x ^ y ) =z ) ( x = ( y = z )) .

Question

Докажите логический закон ( ( x ^ y ) =>z ) <=> ( x => ( y => z )) .

Надежда Буравцова · Accepted Answer

Обозначения <=> - эквивалентность => - больше или равно <= - меньше или равно { } - утверждение ^ - логическое "И" ( ) - скобки определяют порядок вычисления x, y, z - элементы множества где введено отношение меньше больше Рассмотрим два случая охватывающем все значение x и y 1) x =>y {( x ^ y ) =>z } <=> { x =>z ; y =>z } <=> { (x => y) ^ ( y => z ) } <=> { x => ( y => z ) } 2) x <= y переобозначим x и y x =>y и рассматриваем 1) случай

Олег Игнатов · Answer

Это что за покемон???

Докажите логический закон ( ( x ^ y ) =>z ) ( x => ( y => z )) .