posted 1 years ago

-\quad P(a) \rightarrow \operatorname{ExP}(x)

-\quad \operatorname{ExP}(x) \rightarrow P(a)

\text { - } \operatorname{ExP}(x) V \operatorname{ExIP}(x) \rightarrow A x P(x)

posted 1 years ago

-\quad I \operatorname{ExP}(x)-A x ! P(X)

\text { - } \quad \operatorname{Axf}(\mathrm{P}) \rightarrow \mathrm{Q}(\mathrm{x}), \operatorname{ExP}(\mathrm{x}) \vdash \operatorname{Ex}(\mathrm{x})

\operatorname{AxP}(X) \vdash \operatorname{ExP}(x)

\text { - } \quad A x(P(x) \rightarrow Q(x)), A x P(x) \vdash A x(x)

\text { - IAxP(x) } \vdash \operatorname{Ex}[P(x)

posted 1 years ago

posted 1 years ago