2021-03-03から1日間の記事一覧
【定理】\(\varphi\)は量化子・演算子・\(x\)以外の変項を含まない論理式で、\(\mathcal{A}\)は\(\varphi\)をその上の論理式とする最小の言語であるとする。このとき\[\vDash\exists x\varphi\Longleftrightarrow\ \vDash\bigvee_{\tau\in H_\mathcal{A}}\va…
【定理】\(\varphi\)は量化子・演算子・\(x\)以外の変項を含まない論理式で、\(\mathcal{A}\)は\(\varphi\)をその上の論理式とする最小の言語であるとする。このとき\[\vDash\exists x\varphi\Longleftrightarrow\ \vDash\bigvee_{\tau\in H_\mathcal{A}}\va…