Giudizio particolare affermativo



Si chiama particolare perche' usiamo il quantificatore esistenziale
lo chiamiamo affermativo perche' e' in una frase affermativa

Come esempio di giudizio particolare affermativo prendiamo:

qualche uomo ha 90 anni

Che posso trasformare nella frase equivalente

Esiste un x tale che x e' un uomo ed x ha 90 anni
    Analizziamo la frase
  • Esiste un x e' il quantificatore esistenziale
  • x e' un uomo e' il primo predicato (ad un posto perche' c'e' la x),
    chiamiamolo P(x)
  • x ha 90 anni e' il secondo predicato (ad un posto perche' c'e' la x),
    chiamiamolo Q(x)
  • .. e .. e' la congiunzione logica
quindi potremo scrivere
x, P(x) Q(x)
Tramite la teoria degli insiemi e' possibile dimostrare la verita' o la falsita' del giudizio particolare affermativo
Se vuoi vedere la dimostrazione

Pagina iniziale Indice di logica Pagina successiva Pagina precedente