¿Prueba esto que una afirmación implica la otra?

Question

Declaración $A$

$a,b,c,a<b<ca+b+c<3c$

Declaración $B$

$x,y,z,x<yzxzyx+y+z<3z$

¿Se me permite decir que $A$ implica $B$ dejando $z$ de $B$ igual a la $c$ en $A$ ?

Answer 1

Su argumento no lo hace trabajo: no hay ninguna razón por la que podamos tratar $z$ como $c$ ya que en $A$ se requiere que $c$ sea el mayor elemento de los tres, y todos $B$ requiere es que $z$ ser diferente de $x$ et $y$ . Así que eso no funciona. Por ejemplo, tal vez $z$ es el El más pequeño de los tres números.

(EDIT: Vaya, soy malo en la comprensión lectora; afirmación manifiestamente falsa eliminada).

De hecho, podemos decir que las dos declaraciones no son equivalente, ya que la primera es verdadera y la segunda es falsa.