You can model certain logical constraints like "if-then" statements using binary inequalities.
For your problem, you could introduce the binary variable $w$, which can only take on values of $0$ or $1$.
Then your "if $y+z \geq 2$ then $x+z \leq 6$" constraint can be implemented as the following:
$ \begin{align} y + z - 1 &\leq M(1 - w), \\ x + z - 6 &\leq Mw, \end{align} $ where $M$ is some sufficiently large constant.
Why does this work? If $y+z \geq 2$, then the first constraint forces the value of $w$ to be $0$, which causes the second inequality to be equivalent to $x + z \leq 6$. On the other hand, if $y+z \leq 1$, then the first constraint doesn't force anything about the value of $w$, which means that second constraint allows $x+z \leq 6$ or $x + z \geq 7$. (I'm assuming that all variables are integers, since you mentioned that you're doing integer programming.)
For more on linear and integer programming models with logical constraints, see Section 3.3 of Rader's Deterministic Operations Research. Other texts on linear and integer programming sometimes discuss modeling with logical constraints as well.