2013-02-20から1日間の記事一覧
∀の導入(INTRO)と消去(ELIM)の推論には,以下の4通りがあります.ただし,全称,特称はメタのものです. |-全称 ∀|- |-∀ −−−−−−−− −−−− |- |-全称 LAE SPEC,SPECL 特称|- |-全称 −−−− −−−− ∀|- |-∀ LAI GEN,X_GEN ・古典論理では,対角の推論どうしは,…
∀の導入(INTRO)と消去(ELIM)の推論には,以下の4通りがあります.ただし,全称,特称はメタのものです. |-全称 ∀|- |-∀ −−−−−−−− −−−− |- |-全称 LAE SPEC,SPECL 特称|- |-全称 −−−− −−−− ∀|- |-∀ LAI GEN,X_GEN ・古典論理では,対角の推論どうしは,…