2021-11-03から1日間の記事一覧
今回は,古典一階の論理式 $\exists x\left(p(x)\to q\right)\land\exists x\left(q\to p(x)\right)\to\exists x\left(\left(p(x)\to q\right)\land\left(q\to p(x)\right)\right)$ は定理式か?と云うお話です.量化だけを見ると,前件の $2$ つの $x$ は同…
今回は,古典一階の論理式 $\exists x\left(p(x)\to q\right)\land\exists x\left(q\to p(x)\right)\to\exists x\left(\left(p(x)\to q\right)\land\left(q\to p(x)\right)\right)$ は定理式か?と云うお話です.量化だけを見ると,前件の $2$ つの $x$ は同…