Giudizio universale affermativo Si chiama universale perche' usiamo il quantificatore universale lo chiamiamo affermativo perche' e' in una frase affermativa Come esempio di giudizio universale affermativo prendiamo: Tutti gli uomini sono mortali Che posso trasformare nella frase equivalente Per ogni uomo x, se x e' un uomo allora x e' mortale 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 e' mortale e' il secondo predicato (ad un posto perche' c'e' la x), 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 affermativo Se vuoi vedere la dimostrazione