Giudizio universale negativo Si chiama universale perche' usiamo il quantificatore universale lo chiamiamo negativo perche' e' in una frase negativa Come esempio di giudizio universale negativo prendiamo: Nessun uomo e' immortale Che posso trasformare nella frase equivalente Per ogni uomo x, se x e' un uomo allora x non e' immortale Analizziamo la frase Per ogni e' il quantificatore universale x e' un uomo e' il primo predicato (ad un posto perche' c'e' la x), chiamiamolo P(x) x non e' immortale e' il secondo predicato (ad un posto perche' c'e' la x), essendo negativo chiamiamolo Q(x)___ se .... allora e' l'implicazione quindi potremo scrivere x, P(x) -> Q(x)___ Tramite la teoria degli insiemi e' possibile dimostrare la verita' o la falsita' del giudizio universale negativo Se vuoi vedere la dimostrazione