2021-03-26から1日間の記事一覧
証明の都合上、(GEN')のステートメントの\(\xi\)と\(\zeta\)を入れ替えておき、\(\varphi\)は\(\psi\)に直す。また両命題の固有変数条件の表記を揃えた。 (GEN)\(\fbox{$\varphi[\zeta/\xi]\Rightarrow\forall\xi\varphi$}\)、ただし\(\varphi[\zeta/\xi]\)…
証明の都合上、(GEN')のステートメントの\(\xi\)と\(\zeta\)を入れ替えておき、\(\varphi\)は\(\psi\)に直す。また両命題の固有変数条件の表記を揃えた。 (GEN)\(\fbox{$\varphi[\zeta/\xi]\Rightarrow\forall\xi\varphi$}\)、ただし\(\varphi[\zeta/\xi]\)…