EDB — 2DC

↑ ← → ↓

Vista

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, ¬𝜙)\)).

Scarica PDF

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

Bibliografia

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

Indice analitico

Stai gestendo il blob in: Multiple languages

Questo contenuto è disponibile in: Italiano Inglese