Quesito di Logica matematica

[oby89]

Non riesco a dimostrare formalmente se il seguente argomento è logicamente corretto:
1) Tutti i pugliesi sono italiani
2) Alcuni europei non sono pugliesi
3) Dunque, alcuni europei non sono pugliesi
Per me è corretto.

[Sk_Anonymous]

Sei sicuro che il testo dell'esercizio sia corretto? Per quanto ho capito la 1) e la 2) sono le ipotesi, mentre la 3) è la tesi. Ma la 2) e la 3) sono identiche...

P.S.: avresti dovuto postare nella sezione apposita di Algebra e Logica Matematica

[adaBTTLS1]

se fosse italiani al posto di pugliesi nella 2, OK.
se fosse italiani al posto di pugliesi nella 3, NO.

[oby89]

si scusa hai ragione nella tre è italiani al posto di pugliesi

[Lord K]

Sia $P$ essere pugliesi, $I$ italiani, $E$ europei, allora la formalizzazione credo che sia:

Hyp:
$AA P| P->I$
$EE E| E-> not P$

The:
$EE E|E->not I$

ma questo risulta formalmente con le semplici regole di inferenza.

[Sk_Anonymous]

Se è espresso nel modo seguente :

1) Tutti i pugliesi sono italiani
2) Alcuni europei non sono pugliesi
3) alcuni italiani non sono pugliesi

secondo me è ok

[oby89]

1)Tutti i pugliesi sono italiani.
2)Alcuni europei non sono pugliesi.

3)Dunque,alcuni europei non sono italiani

penso di aver capito...la risposta è no...perchè la seconda ipotesi dice che ci sono alcuni europei che non sono pugliesi ma questi possono benissimo essere italiani...in questo caso non posso dedurre la 3.