Dimostrazione della negazione di quantificatori
Inviato: 05/03/2015, 19:54
Ciao a tutti
Sapete dirmi come dimostrare la {2.4} usando la {2.3} e la proprietà della doppia negazione??? Grazie
[non(∀x, A(x)] ⇐⇒ [∃x : non(A(x))] {2.3}
[non(∃x : A(x)] ⇐⇒ [∀x, non(A(x))] {2.4}
Sapete dirmi come dimostrare la {2.4} usando la {2.3} e la proprietà della doppia negazione??? Grazie
[non(∀x, A(x)] ⇐⇒ [∃x : non(A(x))] {2.3}
[non(∃x : A(x)] ⇐⇒ [∀x, non(A(x))] {2.4}