EDB — 2DC

↑ ← → ↓

View

Remark 15

[2DC]It is assumed as an axiom that

\begin{matrix} (1) & \neg (\forall x, 𝜙) \Leftrightarrow (\exists x, \neg 𝜙) . \end{matrix}

(In Sec. 2.1 in [ 10 ] indeed $(\forall x, 𝜙)$ is presented as short form for $\neg (\exists x, \neg 𝜙)$ ).

Download PDF

Authors: "Mennucci , Andrea C. G." .

Bibliography

[15] P.G. Hinman. Fundamentals of Mathematical Logic. Taylor & Francis, 2005. ISBN 9781568812625. URL https://books.google.it/books?id=xA6D8o72qAgC.

Book index

Managing blob in: Multiple languages

This content is available in: Italian English