如果每$\mathbf{v}\以v表示$它认为$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$,然后$\mathbf{z}=\mathbf{w}$.
在数学逻辑的语法中,我们可以这样写:
$$\左(v中的所有mathbf v:\mathbf{z}\cdot\mathbf(右)\暗示\左(\mathbf{z}=\mathbf{w}\right)。$$
含义的左侧是整个语句,“对于每个$\mathbf{v}\以v表示$它认为$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$"如果你想反驳这一暗示,你会寻找$\mathbf z美元$和$\mathbf w美元$在里面V美元$左侧为真,即,$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$对于每一个 $\mathbf v美元$在里面V美元$不仅仅是一个人$\mathbf v美元$--右侧为假,即,$\mathbf z\neq\mathbf-w$
我试图理解为什么插入$\mathbf{v}=0$不是正确的方法。这被认为是暗示权,所以如果我认为$\mathbf{z},\mathbf{w}$作为不同的向量,则它认为$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$是$0 = 0$以及随之而来的$\mathbf{z}=\mathbf{w}$当$\mathbf{v}=0$?
在这一段中很难发现你的思路。
- “这被认为是暗示……”你认为“这”是什么?我们正在研究的确切含义是什么?
- “……所以如果我接受$\mathbf{z},\mathbf{w}$作为不同的向量,那么它认为$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$是$0 = 0$... .“so”一词通常表示“so因为在“so”之前出现的东西。但你在“所以”之后说的是真的,因为$\mathbf v=0$,不是因为“暗示”(无论你认为“暗示”是什么)。
- “……结果$\mathbf{z}=\mathbf{w}$在以下情况下为false$\mathbf{v}=0$?“声明$\mathbf{z}=\mathbf{w}$(这确实是定理中蕴涵的结果)如果取$\mathbf{z}$和$\mathbf{w}$作为不同的向量,就像你在同一句话前面的“如果”后面所做的那样。你设置的方式,$\mathbf{z}=\mathbf{w}$对于的任何值为false$\mathbf诉$是的,这是假的“当$\mathbf v=0$“;当$\mathbf v\neq 0$那么为什么要提到$\mathbf v美元$?
我之所以质疑你所认为的暗示是什么,是因为虽然你清楚地确定了一个结果,但你从未确定前因。所以我想知道你是否认为你被要求证明这一说法:
$$\对于v中的所有\mathbf v\:\左(\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}\表示\mathbf{z}=\mathbf{w}\right)。$$
这个说法显然是错误的,因为至少存在一个$\mathbf v美元$在里面V美元$这样先行词$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$是正确的,但结果是$\mathbf{z}=\mathbf{w}$为false。
你的第二段暗示了对这一说法的反驳。你找到了一种方法$\mathbf{z}\cdot\mathbf1{v}=\mathbf2{w}\cdot \mathbf2{v}$是正确的,并且$\mathbf{z}=\mathbf{w}$为false。
但在你应该证明的陈述中,没有暗示谁的先行词是$\mathbf{z}\cdot\mathbf{v}=\mathbf{w}\cdot\mathbf{v}$.正确的先行词是$\forall\mathbf v\in v:\mathbf{z}\cdot\mathbf{v}=\mathbf{w}\cdot \mathbf1{v}$