(х=у)v(y v z)->x)

Для того чтобы доказать высказывание (х=у)v(y v z)->x), давайте разберем его на части и применим законы логики.

1. Раскроем условие (х=у)v(y v z):

   • Либо х равно у, либо выполняется утверждение, что у равно у или z.
   • Это можно переформулировать как: если х не равно у, то либо y равно у, либо z равно у.

2. Далее, у нас есть импликация "->", которая говорит о следствии:

   • Если (х=у)v(y v z) верно, то x также должно быть верным.

Таким образом, мы видим, что в данном случае данная формула выглядит логично, так как если одно из условий в скобках верно, то и x тоже должно быть верным.