EDB — 2DC

↑ ← → ↓

View

Nota 15

[2DC]Si assume come assioma che

\begin{equation} \label{eq:forall_ exists} ¬ (∀ x, 𝜙 ) ⇔ (∃ x, ¬ 𝜙 ) ~ ~ . \end{equation}

(Nella Sez. 2.1 in [ 10 ] anzi \((∀ x, 𝜙)\) viene presentato come abbreviazione di \(¬(∃ x, ¬𝜙)\)).

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