Soluzioni agli esercizi supplementari
|
|
- Elisa Di Martino
- 7 anni fa
- Visualizzazioni
Transcript
1 Varzi / Nolt / Rohatyn Logica 2/ed Soluzioni agli esercizi supplementari Capitolo 1 (esercizi alle pp ) (1) ➀ [Ce la farai senz altro], perché ➁ [hai talento] e ➂ [lavori sodo]. Le asserzioni 2 e 3 fungono da premesse indipendenti per la conclusione 1: la persona a cui l argomentazione è rivolta potrebbe aver talento senza lavorare sodo, e potrebbe lavorare sodo pur senza avere talento. Si tratta quindi di un argomentazione convergente: (2) ➀ [C è bisogno di altra morfina.] ➁ [Abbiamo 32 feriti] e ➂ [sono rimaste solo 12 dosi.] In questo caso le due premesse lavorano in congiunzione. Il diagramma è: (3) Questa non è un argomentazione ma un asserzione condizionale. (4) ➀ [Se ci fosse stato un autovelox, sarebbe comparso su questo radar,] ma ➁ [qui non è comparso nulla.] Questa è un argomentazione con conclusione implicita: ➂ [Non c era un autovelox.] (5) ➀ [O gli UFO sono armi segrete del nemico oppure sono navi spaziali che provengono da un mondo alieno.] ➁ [Se sono armi nemiche, allora la tecnologia nemica è ampiamente superiore alla nostra (contrariamente a quanto si pensa di solito).] ➂ [Se sono navi spaziali aliene, allora dispongono di una tecnologia superiore a qualsiasi cosa noi si possa immaginare.] In ogni caso, quindi, ➃ [i costruttori di UFO sono tecnologicamente più sofisticati di noi.] L indicatore di conclusione quindi (insieme alla qualifica in ogni caso ) segnala che l asserzione 4 è una conclusione sostenuta da tutte le asserzioni precedenti. Si noti che queste sono poste tra parentesi senza spezzarle in componenti più semplici, dal momento che si tratta di asserzioni composte mediante i connettivi o oppure e se allora. Pertanto il diagramma è: 1.1
2 2 Varzi / Nolt / Rohatyn Logica 2/ed (6) Questa non è un argomentazione. La parola perché non funge da indicatore di premessa ma svolge una funzione puramente esplicativa: il parlante sta spiegando per quale motivo una certa persona si sia rinchiusa nella sua camera da letto, non sta cercando di dimostrare che l ha fatto. (7) ➀ [Ho seguito le indicazioni della ricetta sulla scatola,] ma ➁ [la torta è davvero immangiabile.] Evidentemente ➂ [alcuni ingredienti erano andati a male]. Argomentazione non convergente: (8) ➀ [I cibi salati mi fanno bere.] ➁ [Quando bevo mi passa la sete.] Quindi ➂ [i cibi salati mi fanno passare la sete.] Argomentazione non convergente (ma colpevole di una fallacia semantica; si veda il Paragrafo 8.2). Anche in questo caso il diagramma è: (9) Non è un argomentazione ma una semplice descrizione di un concorso a premi. (10) ➀ [Come si fa a dire che la pena capitale è un deterrente per il crimine?] ➁ [In quegli stati in cui la pena di morte è stata abolita, il tasso di incidenza dei delitti è inferiore a quello degli stati che invece l hanno mantenuta.] Inoltre, ➂ [la pena capitale è una pratica barbarica che non dovrebbe trovare posto in una società che si definisce civilizzata.] Questa è un argomentazione convergente (come suggerisce la parola inoltre ) con un ovvia conclusione implicita: ➃ [La pema di morte va abolita.] Il diagramma è: Si noti che la conclusione intermedia 1 è espressa da una domanda retorica. (11) ➀ [Non sono stati né il maggiordomo né la cameriera.] ➁ [Rimangono il cuoco e l autista.] Ma ➂ [l autista era all aeroporto quando il delitto è avvenuto.] ➃ [Il cuoco è l unico senza un alibi.] Inoltre ➄ [l ereditiera è stata avvelenata.] È logico concludere che ➅ [l assassino è proprio il cuoco.] Quest argomentazione riposa su due ovvia premesse implicite: ➆ [L assassino è uno tra il maggiordomo, la cameriera, il cuoro, l autista.] ➇ [L omicidio ha avuto luogo a casa.]
3 Soluzioni agli esercizi supplementari 3 Dalla premessa 7 insieme alla 1 si deriva l asserzione 2. Da quest ultima, insieme alle premesse 3 e 8, si deduce che il cuoco è l unica persona sospetta a non avere un alibi (asserzione 4), da cui si inferisce la conclusione 6. La conclusione è supportata indipendentemente dalla premessa 5. Si tratta quindi di un argomentazione complessa il cui ultimo passo è convergente: (12) ➀ [La serie dei numeri interi è infinita.] ➁ [Se non fosse infinita, allora ci sarebbe un numero più grande di tutti gli altri.] Ma, ➂ [per le leggi dell aritmetica, si può applicare l operazione di addizione a un numero arbitrariamente grande, lo si chiami n, per ottenere n + 1.] Poiché ➃ [n + 1 è più grande di n,] ne segue che ➄ [non c è un numero intero più grande di tutti gli altri.] Questo dimostra che ➀ [la serie degli interi è infinita.] Argomentazione complessa non convergente: (13) ➀ [La scala Richter misura l intensità di un terremoto in potenze di 10.] ➁ [Una scossa che misura 6 gradi è 10 volte più potente di una che ne misura 5,] e ➂ [una che misura 7 gradi rilascia 10 volte più energia di una che ne misura 6 e 100 volte più di una che ne misura 5.] ➃ [Scosse famose come quella di San Francisco del 1906 (8,6 gradi) o quella dell Alaska nel 1964 (8,3 gradi) sono quindi almeno mille volte più devastanti di una scossa che misuri appena 5 gradi.] In quest argomentazione, le asserzioni 2 e 3 sono introdotte al solo fine di spiegare e illustrare il significato dell asserzione 1 e non aggiungono nulla alla struttura logica del discorso. Pertanto il diagramma è semplicemente: (14) ➀ [I genitori che hanno subito molestie da piccoli sono spesso più violenti, con i propri figli, dei genitori che non ne hanno subite.] Questo dimostra che ➁ [subire molestie da piccoli porta a ulteriori molestie nei confronti della generazione successiva.] Di conseguenza, ➂ [l unico modo per fermare il ciclo delle molestie ai minori è fornire assistenza per i minori molestati prima che questi possano diventare genitori e perpetuare questo triste e grave problema.] (15) Supponiamo che ➀ [ci sia un tavolo da biliardo perfettamente quadrato] e che ➁ [una palla sia colpita dalla metà di una sponda con una traiettoria dritta e
4 4 Varzi / Nolt / Rohatyn Logica 2/ed un angolazione di 45 gradi rispetto alla sponda.] Si capisce che ➂ [la palla colpirà la sponda adiacente con un angolazione di 45 gradi.] ➃ [In seguito la palla rimbalzerà con un angolazione uguale, ma nella direzione opposta a quella di arrivo.] Quindi ➄ [si inclinerà con un angolazione di 45 gradi e colpirà nel mezzo la sponda opposta a quella da cui era partita.] Ne segue che, per lo stesso principio, ➅ [colpirà nel mezzo la sponda successiva con un angolazione di 45 gradi] e quindi ➆ [ritornerà al punto di partenza.] (1) La maiuscola di x è X. (2) Quando si parla di amore, si parla semplicemente di una parola di 5 lettere. (3) Roma è conosciuta con il nome di Città Eterna. Il Vaticano è a Roma. Il Vaticano, quindi, è nella Città Eterna. (4) Il Capitolo 1 di questo libro riguarda la struttura delle argomentazioni. (5) In logica formale, le lettere P e Q sono spesso usate per designare asserzioni. (6) Se usiamo la lettera P per designare l asserzione Piove e Q per designare Fuori fa freddo, allora l argomentazione Piove, quindi fuori fa freddo si simbolizza così: P, quindi Q. (7) Roma designa Roma, e Roma designa Roma, ma Roma non designa Roma. [Esistono infinite altre soluzioni corrette. È sufficiente che le coppie di virgolette intorno alla prima occorrenza di Roma siano una in più rispetto alla seconda occorrrenza, le coppie di virgolette intorno alla terza occorrenza di Roma siano una in più rispetto alla quarta occorrrenza, e le coppie di virgolette intorno all ultima occorrenza di Roma siano in numero uguale o maggiore rispetto alla penultima.] Capitolo 2 (esercizi alle pp ) 2.1 (1) Deduttiva. (2) Deduttiva. (3) Deduttiva. (4) Induttiva (debole); i fumatori potrebbero patire una morte dolorosa anche se non si ammalassero di enfisema. (5) Induttiva (forte); date le premesse, è molto improbabile (benché in linea di principio possibile) che una nazione scateni un attacco nucleare. (6) Induttiva. Le premesse non dicono che lo starnuto avviene subito, quindi può anche essere che io abbia respirato del pepe poco prima di mezzanotte e abbia starnutito dopo mezzanotte. Si tratta comunque di una possibilità estrema, per cui la forza dell argomentazione è decisamente alta. (7) Induttiva (forte). (8) Induttiva (debole); la prima premessa non dice che solo i conservatori sono convinti assertori della legge e dell ordine.
5 Soluzioni agli esercizi supplementari 5 (9) Induttiva (debole); non essere convinti dell innocenza di una persona non equivale a ritenerla colpevole. (10) Induttiva (forte). (11) Induttiva (piuttosto forte). (12) Induttiva. Supponiamo che siano rimaste solamente due persone al mondo, una totalmente calva e l altra con un solo capello. In tal caso le premesse sarebbero vere e la conclusione falsa, quindi l argomentazione non può essere deduttiva. L argomentazione, tuttavia, è abbastanza forte, dal momento che la maggior parte delle circostanze in cui le premesse sono vere, è vera anche la conclusione. (13) Deduttiva. (14) Deduttiva. (15) Induttiva (forte). (16) Induttiva (moderatamente forte). (1) ➀ [Il tema di Ettore e quello di Alessandro sono pressoché identici.] Evidentemente, ➁ [uno dei due ha copiato.] 1 I (forte) 2 (2) Dal momento che ➀ [mi hai detto che ci saremmo incontrati al drive-in] e ➁ [tu non c eri], ➂ [sei un bugiardo.] Quindi ➃ [non posso credere a nulla di quello che dici.] Ecco perché ➄ [con te non posso sentirmi a mio agio.] I (debole) 3 I (piuttosto debole) 4 I (piuttosto forte) 5 I (debole) (3) ➀ [L argomentazione precedente è infondata per due ragioni.] Anzitutto, ➁ [al drive-in io c ero], ma evidentemente ➂ [non mi hai visto,] quindi ➃ [una delle tue premesse è falsa.] E poi ➄ [il tuo ragionamento non è valido.] D 4 5 D D D 1 (4) ➀ [È da tre giorni che piove.] ➁ [Domani farà sicuramente bello.] 1 I (debole) 2 (5) ➀ [Le previsioni meteorologiche dicono che pioverà,] ➁ [il cielo appare molto minaccioso,] e ➂ [la lancetta del barometro sta scendendo rapidamente:] tutti fenomeni fortemente correlati alla pioggia. Quindi ➃ [sta per piovere.] Ma ➄ [se pioverà non potremo certo fare un picnic nel prato.] Quindi, ➅ [il picnic dovrà essere cancellato.] 2.2
6 6 Varzi / Nolt / Rohatyn Logica 2/ed I (deboli, ma congiuntamente forti) D I (forte) 2 (6) ➀ [Tutti i cittadini maggiorenni hanno diritto di votare, a meno che siano mentalmente disabili o siano stati condannati per un crimine.] ➁ [Luca è un cittadino maggiorenne], e ciononostante ➂ [dice di non avere diritto al voto.] ➃ [Luca non è mentalmente disabile.] Quindi, ➄ [o ciò che dice è falso, o è stato condannato per un crimine.] Ma ➅ [Luca mi ha anche detto di non essere mai stato arrestato,] ed ➆ [è impossibile essere condannati per un crimine senza essere arrestati.] Quindi, ➇ [almeno una delle cose che Luca ha detto è falsa.] D D 8 (7) ➀ [Non vi è alcun modo per stabilire se la coscienza sopravviva alla morte fisica,] quindi possiamo solo concludere che ➁ [non sopravviverà.] Ma ➂ [noi non siamo altro che coscienza,] dal momento che ➃ [senza coscienza non siamo in grado di esperire alcunché, nemmeno l oscurità.] Quindi ➄ [noi non sopravviviamo alla morte.] ➅ [Ogni sistema morale fondato sull idea di una punizione o di un premio ultraterreno è quindi fondamentalmente sbagliato.] 1 4 I (debole) I (debole) D 5 I (debole) 6 D I (debole) (1) Bassa pertinenza e bassa probabilità induttiva. (2) Alta pertinenza e probabilità induttiva; in effetti, ammesso che il parlante abbia degli amici, l aggiunta della seconda premessa rende l argomentazione deduttiva. (3) Pertinenza nulla e probabilità induttiva bassissima. (4) Bassa pertinenza e bassa probabilità induttiva. (5) Buona pertinenza e bassa probabilità induttiva; tuttavia si potrebbe pensare che l argomentazione poggi su una premessa implicita in base alla quale l amico in questione non ha il coraggio di dire come stanno le cose, nel qual caso l argomentazione sarebbe deduttiva. (6) La conclusione è logicamente necessaria, quindi l argomentazione è deduttiva e ha probabilità induttiva massima; la pertinenza delle premesse è irrilevante. (7) La premessa è logicamente impossibile, quindi l argomentazione è deduttiva e ha probabilità induttiva massima; la pertinenza della premessa è irrilevante. (4), (1), (3), (6), (2), (5). L argomentazione più forte, la (4), è deduttiva; in quella più debole, la (5), le premesse inplicano deduttivamente la negazione della conclusione. (1) Quest argomentazione è ragionevolmente buona, ma non può essere considerata conclusiva: (a) entrambe le premesse sono vere; (b) la probabilità induttiva è piut-
7 Soluzioni agli esercizi supplementari 7 tosto debole, visto che i nove pianeti conosciuti costituiscono un campione molto esiguo (e non casuale) su cui basare l ampia generalizzazione della conclusione; (c) le premesse sono pertinenti; (d) non siamo a conoscenza di evidenza contraria. (2) Questa non è una cattiva argomentazione, ma benché in effetti la conclusione risulti falsa: (a) entrambe le premesse sono vere; (b) la probabilità induttiva è alta; (c) le premesse sono pertinenti; (d) sappiamo che Ronald Reagan ha recitato in diversi film, e tanto basta a inficiare l inferenza. Per valutare l argomentazione nel suo complesso, si tratta di vedere se quest ultima informazione è stata volutamente taciuta o semplicemente ignorata. (3) Quest agomentazione è decisamente debole e non giustifica la conclusione: (a) non sappiamo se le premesse siano vere; (b) la probabilità induttiva è bassa (e tradisce una fallacia dello scommettitore; si veda il Paragrafo 8.4); (c) le premesse sono pertinenti; (d) l argomentazione è vulnerabile a fronte di nuova evidenza: si tratta di vedere chi siano i nemici e quale sia la loro politica militare. (4) Questa è un agomentazione deduttivamente valida e fondata, quindi giustifica appieno la conclusione: (a) le premesse sono tutte vere (si noti che se n è negativo, il numero degli interi positivi minori di n è zero, quindi finito); (b) la probabilità induttiva è massima; (c) le premesse sono pertinenti; (d) in quanto deduttiva, l argomentazione non è vulnerabile a fronte di nuova evidenza. (5) Questa è un agomentazione induttiva piuttosto debole ai fini della conclusione: (a) non sappiamo se la prima premessa sia vera; (b) la probabilità induttiva è piuttosto bassa, considerato che abbiamo avuto modo di osservare una quantità di materia che potrebe rivelarsi molto limitata (soprattutto nell ipotesi in cui la prima premessa sia vera); (c) le premesse sono pertinenti; (d) l argomentazione è chiaramente vulnerabile a fronte di nuove scoperte scientifiche. (6) Questa è un argomentazione deduttiva, ma è infondata e come tale fallisce nel suo intento di stabilire la verità della conclusione: (a) la prima premessa è falsa; (b) la probabilità induttiva è massima; (c) le premesse sono pertinenti; (d) in quanto deduttiva, l argomentazione non è vulnerabile a fronte di nuova evidenza (ma abbiamo già evidenza a sufficiena per non accettare la prima premessa). Capitolo 3 (esercizi alle pp ) (1) P (2) P & Q (3) P Q (4) Q P (5) P Q (6) P Q (7) P & Q oppure, in alternativa, (P Q); questi due modi di formalizzare l asserzione sono equivalenti e ugualmente corretti (si veda l risolto 3.10). (8) (P & Q) (9) P Q (10) Q P (11) P (Q & R) (12) P (Q & R) (13) P & (Q & R) (14) R ( P Q) (15) ( R & Q) (P & S), oppure (R Q) (P & S) (16) (P & S) ( Q & R) 3.1
8 8 Varzi / Nolt / Rohatyn Logica 2/ed o (17) (R & Q) & ( P & S) (18) (R & Q) ((P S) & (P & S)) (19) (S (R P)) & ( S (P & Q)) (20) ((R Q) P) & (( P & ( Q & R)) S) (1) Non è una fbf. Le parentesi vanno introdotte solo insieme a operatori binari (regola 3). (2) Non è una fbf. Due o più lettere enunciative possono produrre una fbf solo in combinazione con un operatore binario (regola 3). (3) P è una fbf per la regola 1, così (P P) è una fbf per la regola 3. (4) A rigore non è una fbf: mancano le parentesi. Però possiamo usare formule di questo tipo ufficiosamente. (5) P e Q sono fbf per la regola 1, e P è una fbf per la regola 2. Quindi ( P & Q) è una fbf per la regola 3. Ne segue che ( P & Q) è una fbf per re applicazioni successive della regola 2. (6) Non è una fbf: nessuna regola ci autorizza a introdurre una doppia coppia di parentesi. (7) Questa non è una fbf, ma lo sarebbe se aggiungessimo una coppia di parentesi attorno all intera formula. Infatti P e Q sono fbf per la regola 1, quindi (P & Q) è una fbf per la regola 3 e di conseguenza (P & Q) è una fbf per la regola 2. Anche R è una fbf per la regola 1, quindi R è una fbf per la regola 2. Ne segue che la congiunzione ( (P & Q) & R) sarebbe una fbf per la regola 3. La formula data può quindi essere accettata ufficiosamente. (8) P è una fbf per la regola 1, così (P P) è una fbf per la regola 3. Applicando nuovamente la regola 3, si ottengono prima (P (P P)) e infine (P (P (P P))), che quindi è una fbf. (9) Non è una fbf: manca una parentesi a destra. (10) Non è una fbf: la regola 3 ci autorizza a unire soltanto due lettere enunciative alla volta, quindi la sottoformula (Q R S) non è ben formata. (1) Tautologica, come mostra la seguente tavola di verità: P P P V V V V F F V F (2) Contingente, come mostra la seguente tavola di verità: P P P V V F F F F V V (3) Inconsistente, come mostra la seguente tavola di verità: P (P P) V F V V V F F F V F (4) Contingente, come mostra la seguente tavola di verità: P Q P Q V V V V V V F V F F F V F V V F F F V F
9 Soluzioni agli esercizi supplementari 9 (5) Contingente, come mostra la seguente tavola di verità: P Q (P Q) P V V V V V V V V F V V F V V F V F V V F F F F F F F V F (6) Tautologica, come mostra la seguente tavola di verità: P Q (P & Q) P V V V V V V V V F V F F V V F V F F V V F F F F F F V F (7) Contingente, come mostra la seguente tavola di verità: P Q P (P Q) V V V F F V V V V F V F F V V F F V F V F F V V F F F F V F F F (8) Contingente, come mostra la seguente tavola di verità: P Q V V V F F V F F ((P & Q) (P Q)) F V V V V V V V V V F F F V V F V F F V F F V V F F F F V F F F (9) Inconsistente, come mostra la seguente tavola di verità: P Q R (P & Q) & (P R) V V V V V V F F V V V V V F V V V F F V V F V F V V F F F F V V V V F F V F F F F V V F F V V F F V F F F V V F V F F F V F V F F F F F V F F F F F F V V F F F F F F F V F F F (10) Tautologica, come mostra la seguente tavola di verità: P Q R (P (Q & R)) (P R) V V V V V V V V V V V V V V F V F V F F V V F F V F V V F F F V V V V V V F F V F F F F V V F F F V V F V V V V V F V V F V F F V V F F V F V F F F V F V F F V V F V V F F F F V F F F V F V F
10 10 Varzi / Nolt / Rohatyn Logica 2/ed 3.4 (1) Valida, come mostra il seguente albero di refutazione: 1 P 2 (P P) 3 P 2 4 P 2 5 X 1,3 (oppure 1,4 ) (2) Non valida; l albero di refutazione presenta due cammini aperti: 1 P Q 2 (P & Q) q p 3 P 1 Q 1 e i e i 4 P 2 & Q 2 & P 2 & Q 2 & 5 X 3,4 X 3,4 (3) Valida, come mostra il seguente albero di refutazione: 1 P Q 2 (P & Q) 3 P & Q 2 4 P 3 & 5 Q 3 & e i 6 P 1 Q 1 7 X 4,6 X 5,6 (4) Valida, come mostra il seguente albero di refutazione: 1 P 2 ((P (Q & P)) (P & Q)) 3 P (Q & P) 2 4 (P & Q) 2 q p 5 P 3 Q & P 3 6 X 1,5 Q 5 & 7 P 5 & e i 8 P 4 & Q 4 & 9 X 1,8 X 1,8 (5) Valida, come mostra il seguente albero di refutazione: 1 P Q 2 P 3 Q 4 R e i 5 P Q 1 6 X 2,5 X 3,5
11 Soluzioni agli esercizi supplementari 11 (6) Non valida; tutti i cammini dell albero di refutazione sono aperti: 1 (Q & R) P 2 Q 3 R 4 P 5 P 4 q p 6 (Q & R) 1 P 1 e i 7 Q 6 & R 6 & (7) Valida, come mostra il seguente albero di refutazione: 1 (P Q) 2 R P 3 R 4 R 3 5 P 1 6 Q 1 e i 7 R 2 R 2 8 P 2 P 2 9 X 5,8 X 4,7 (8) Non valida; l albero di refutazione presenta un cammino aperto: 1 (P & Q) 2 R P 3 R 4 R 3 q p 5 P 1 & Q 1 & e i e i 6 R 2 R 2 R 2 R 2 7 P 2 P 2 P 2 P 2 8 X 5,7 X 4,6 X 4,6 (9) Valida, come mostra il seguente albero di refutazione: 1 P Q 2 Q R 3 (P R) q p 4 P 1 P 1 5 Q 1 Q 1 e i e i 6 Q 2 Q 2 Q 2 Q 2 7 R 2 R 2 R 2 R 2 8 X 5,6 e i X 5,6 e i 9 P 3 P 3 P 3 P 3 10 R 3 R 3 R 3 R 3 11 X 7,10 X 4,9 X 4,9 X 7,10
12 12 Varzi / Nolt / Rohatyn Logica 2/ed (10) Non valida; l albero di refutazione presenta un cammino aperto: 1 P (R S) 2 (R & S) Q 3 (P Q) 4 P 3 5 Q 3 q p 6 P 1 R S 1 7 X 4,6 q p 8 Q 2 Q 2 R 6 S 6 9 R 2 R 2 (R & S) 2 Q 2 10 X 5,6 e e i X 5,9 11 P 3 R 9 & S 9 & 12 P 3 X 8, (1) L argomentazione ha la forma: V A A V Questa forma non è valida, poiché il suo albero di refutazione presenta un cammino aperto: 1 V A 2 ( A V) 3 A 2 4 V 2 5 V 4 e i 6 V 1 A 1 7 X 5,6 (2) L argomentazione ha la forma: I V I V Questa forma non è valida, poiché il suo albero di refutazione ha entrambi i cammini aperti: 1 I V 2 ( I V) 3 I 2 4 V 2 5 V 4 e i 6 I 1 V 1 (3) L argomentazione ha la forma: C I C I Questa forma è banalmente valida, poiché la premessa coincide con la conclusione. (4) L argomentazione ha la forma: (C V) & (C & V) V C
13 Soluzioni agli esercizi supplementari 13 Questa forma è valida, come mostra la seguente tavola di verità: C V (C V) & (C & V) V C V V V V V F F V V V V F F V F V V F V V V F F F V F F V F V V V V F F V V V V F F F F F F V F F F F F V (5) L argomentazione ha la forma: I, I V, V A, A C, C I Questa forma è valida, come mostra il seguente albero di refutazione: 1 I 2 I V 3 V A 4 A C 5 C 6 I q p 7 I 2 V 2 8 X 1,7 e i 9 Q 2 A 4 C 4 10 X 5,6 e i X 5,9 11 V 3 V 3 12 A 3 A 3 13 X 9,12 X 7,11 Capitolo 4 (esercizi alle pp ) (1) F V, V F 1 F V A 2 V A 3 F H (per I) 4 V 1, 3 E 5 V & V 2, 4 &I 6 F 3 5 I (2) F V, F V 1 F V A 2 F A 3 V 1, 2 E 4 V 3 E (3) F V V F 1 F V A 2 V H (per I) 3 F H (per I) 4 V 1, 3 E 5 V & V 2, 4 &I 6 F 3 5 I 7 V F 2 6 I 4.1
14 14 Varzi / Nolt / Rohatyn Logica 2/ed (4) F P, P F Quest argomentazione ha la stessa forma della (1); la sua dimostrazione è quindi identica a quella già fornita (con P al posto di V ). (5) C F (F & C) 1 C F A 2 F & C H (per I) 3 C 2 &E 4 F 1, 3 E 5 F 2 &E 6 F & F 4, 5 &I 7 (F & C) 2 6 I (6) ( F & V) P, P, V F 1 ( F & V) P A 2 P A 3 V A 4 F H (per I) 5 F & V 3, 4 &I 6 P 1, 5 E 7 P & P 2, 6 &I 8 F 4 7 I 9 F 8 E (7) (V & P) F, F C, P V C 1 (V & P) F A 2 F C A 3 P A 4 V H (per I) 5 V & P 3, 4 &I 6 F 1, 5 E 7 C 2, 6 E 8 V C 3 7 I (8) F (V & P), P F 1 F (V & P) A 2 P A 3 F H (per I) 4 F (V & P) 1 E 5 V & P 3, 4 E 6 P 5 &E 7 P & P 2, 6 &I 8 F 3 7 I (9) F (V & P) V (P F) 1 F (V & P) A 2 V H (per I) 3 P H (per I) 4 V & P 2, 3 &I 5 (V & P) F 1 E 6 F 4, 5 E 7 P F 3 6 I 8 V (P F) 2 7 I
15 Soluzioni agli esercizi supplementari 15 (10) F ( V P), V & P F 1 F ( V P) A 2 V & P A 3 F ( V P) 1 E 4 F H (per I) 5 V P 3, 4 E 6 V H (per I) 7 V V 6 6 I 8 P H (per I) 9 V H (per I) 10 P 2 &E 11 P & P 8, 10 &I 12 V 9 11 I 13 P V 8 12 I 14 V 5, 7, 13 E 15 V 2 &E 16 V & V 14, 15 &I 17 F 4 16 I 18 F 17 E (1) P P Q 1 P A 2 P H (per I) 3 Q H (per I) 4 P & P 1, 2 &I 5 Q 3 4 I 6 Q 5 E 7 P Q 2 6 I (2) P Q P Q 1 P Q A 2 P Q 1 E 3 Q P 2 TRAS 4 Q P 1 E 5 P Q 4 TRAS 6 P Q 3, 5 I (3) P Q (P & Q) 1 P Q A 2 P Q 1 DN 3 (P & Q) 2 DM (4) P (Q R), R P 1 P (Q R) A 2 R A 3 Q R 2 I 4 (Q R) P 1 E 5 P 3, 4 E (5) P Q, P Q P 1 P Q A 2 P Q A 3 P H (per I) 4.2
16 16 Varzi / Nolt / Rohatyn Logica 2/ed 4 Q 1, 3 E 5 Q 2, 3 E 6 Q & Q 4, 5 &I 7 P 3 6 I (6) P Q, Q R P R 1 P Q A 2 Q R A 3 P Q 1 E 4 Q R 2 E 5 P R 3, 4 SI 6 Q P 1 E 7 R Q 2 E 8 R P 6, 7 SI 9 P R 5, 8 I (7) P Q (P & R) (Q & R) 1 P Q A 2 P & R H (per I) 3 P 2 &E 4 Q 1, 3 E 5 R 2 &E 6 Q & R 4, 5 &I 7 (P & R) (Q & R) 2 6 I (8) P Q (P R) (Q R) 1 P Q A 2 P R H (per I) 3 P Q 1 RE 4 R H (per I) 5 R R 4 4 I 6 Q R 2, 3, 5 DC 7 (P R) (Q R) 2 6 I (9) (P Q) & (P R) P (Q & R) 1 (P Q) & (P R) A 2 ( P Q) & ( P R) 2 IM (due volte) 3 P (Q & R) 3 DIST 4 P (Q & R) 4 IM (10) P Q, (P Q) (Q P) P Q 1 P Q A 2 (P Q) (Q P) A 3 Q P 1, 2 E 4 P Q 1, 3 I 4.3 (1) P P 1 P H (per I) 2 P P 1 1 I (2) P (Q (P & Q)) 1 (P & Q) (P & Q) IT 4.3(1) 2 P (Q (P & Q)) 1 ESP
17 Soluzioni agli esercizi supplementari 17 (3) P ((P Q) Q) 1 (P Q) (P Q) IT 4.3(1) 2 ((P Q) & P) Q 1 ESP 3 (P & (P Q)) Q 2 COM 4 P ((P Q) Q) 3 ESP (4) (P Q) ( Q P) 1 (P Q) (P Q) IT 4.3(1) 2 (P Q) ( Q P) 1 TRAS (5) (P & Q) ( P Q) 1 (P & Q) (P & Q) IT (P & Q) ( P Q) 1 DM (6) Q (P P) 1 P P IT Q (P P) 1 risolto (7) (P & P) Q 1 (P & P) IT Q (P & P) 1 risolto (P & P) Q 2 TRAS (8) P (P Q) 1 P P IT (P P) Q 1 I 3 P ( P Q) 2 ASSOC 4 P (P Q) 3 IM (9) P (Q P) 1 P ( P Q) IT 4.3(8) 2 P (Q P) 1 TRAS (10) (P Q) (Q P) 1 Q Q IT P (Q Q) 1 I 4 ( P (Q Q)) P 3 I 4 ( P Q) ( Q P) 4 ASSOC (due volte) 5 (P Q) (Q P) 6 IM (due volte) (1) (P & Q) ( P Q) 1 (P & Q) H (per I) 2 P Q 1 risolto (P & Q) ( P Q) 1 2 I 4 P Q H (per I) 5 (P & Q) 4 risolto ( P Q) (P & Q) 4 5 I 7 (P & Q) ( P Q) 3, 6 I Se parte di una derivazione è già stata dimostrata, scriviamo direttamente la sua conclusione indicando soltanto i numeri delle righe in cui compaiono le formule utilizzate come premesse e citando l (risolto o supplementare) corrispondente.
18 18 Varzi / Nolt / Rohatyn Logica 2/ed (2) (P Q) ( P & Q) 1 (P Q) H (per I) 2 P & Q 1 risolto (P Q) ( P & Q) 1 2 I 4 P & Q H (per I) 5 P Q H (per I) 6 P H (per I) 7 P 4 &E 8 P & P 6, 7 &I 9 P (P & P) 6 8 I 10 Q H (per I) 11 (P & P) H (per I) 12 Q 4 &E 13 Q & Q 10, 12 &I 14 (P & P) I 15 P & P 14 E 16 Q (P & P) I 17 P & P 5, 9, 16 E 18 (P Q) 5 17 I 19 ( P & Q) (P Q) 4 18 I 20 (P Q) ( P & Q) 3, 19 I (3) (P Q) (Q P) 1 P Q H (per I) 2 Q P 1 risolto (P Q) (Q P) 1 2 I 4 Q P H (per I) 5 P Q 4 risolto (Q P) (P Q) 4 5 I 7 (P Q) (Q P) 3, 6 I (4) (P & Q) (Q & P) 1 P & Q H (per I) 2 Q & P 1 risolto (P & Q) (Q & P) 1 2 I 4 Q & P H (per I) 5 P & Q 4 risolto (Q & P) (P & Q) 4 5 I 7 (P & Q) (Q & P) 3, 6 I (5) (P (Q R)) ((P Q) R) 1 P (Q R) H (per I) 2 P H (per I) 3 P Q 2 I 4 (P Q) R 3 I 5 P ((P Q) R) 2 4 I 6 Q R H (per I) 7 Q H (per I) 8 P Q 7 I 9 (P Q) R 8 I 10 Q ((P Q) R) 2 4 I 11 R H (per I) 12 (P Q) R 11 I 13 R ((P Q) R) 2 4 I 14 (P Q) R 6, 10, 13 E
19 Soluzioni agli esercizi supplementari (Q R) ((P Q) R) 6 14 I 16 (P Q) R 1, 5, 15 E 17 (P (Q R)) ((P Q) R) 1 16 I 18 (P Q) R H (per I) 19 P Q H (per I) 20 P H (per I) 21 P (Q R) 20 I 22 P (P (Q R)) I 23 Q H (per I) 24 Q R 23 I 25 P (Q R) 24 I 26 Q (P (Q R)) I 27 P (Q R) 19, 22, 26 E 28 (P Q) (P (Q R)) I 29 R H (per I) 30 Q R 29 I 31 P (Q R) 30 I 32 R (P (Q R)) 2 4 I 33 P (Q R) 18, 28, 32 E 34 ((P Q) R) (P (Q R)) I 35 (P (Q R)) ((P Q) R) 17, 34 I (6) (P & (Q & R)) ((P & Q) & R) 1 P & (Q & R) H (per I) 2 P 1 &E 3 Q & R 1 &E 4 Q 3 &E 5 P & Q 2, 4 &I 6 R 3 &E 7 (P & Q) & R 5, 6 &I 8 (P & (Q & R)) ((P & Q) & R) 1 7 I 9 (P & Q) & R H (per I) 10 P & Q 9 &E 11 Q 10 &E 12 R 9 &E 13 Q & R 2, 4 &I 14 P 10 &E 15 P & (Q & R) 13, 14 &I 16 ((P & Q) & R) (P & (Q & R)) 9 15 I 17 (P & (Q & R)) ((P & Q) & R) 8, 16 I (7) (P & (Q R)) ((P & Q) (P & R)) 1 P & (Q R) H (per I) 2 P 1 &E 3 Q R 1 &E 4 Q H (per I) 5 P & Q 2, 4 &I 6 (P & Q) (P & R) 5 I 7 Q ((P & Q) (P & R)) 4 6 I 8 R H (per I) 9 P & R 2, 8 &I 10 (P & Q) (P & R) 9 I 11 R ((P & Q) (P & R)) 8 10 I 12 (P & Q) (P & R) 3, 7, 11 E 13 (P & (Q R)) ((P & Q) (P & R)) 1 12 I
20 20 Varzi / Nolt / Rohatyn Logica 2/ed 14 (P & Q) (P & R) H (per I) 15 P & (Q R) 14 risolto (P & Q) (P & R) (P & (Q R)) I 17 (P & (Q R)) ((P & Q) (P & R)) 13, 16 I (8) (P (Q & R)) ((P Q) & (P R)) 1 P (Q & R) H (per I) 2 P H (per I) 3 P Q 2 I 4 P R 2 I 5 (P Q) & (P R) 3, 4 &I 6 P ((P Q) & (P R)) 2 5 I 7 Q & R H (per I) 8 Q 7 &E 9 P Q 8 I 10 R 7 &E 11 P R 10 I 12 (P Q) & (P R) 9, 11 &I 13 (Q & R) ((P Q) & (P R)) 7 12 I 14 (P Q) & (P R) 1, 6, 13 E 15 (P (Q & R)) ((P Q) & (P R)) 1 14 I 16 (P Q) & (P R) H (per I) 17 (P (Q & R)) H (per I) 18 P & (Q & R)) 17 risolto P 18 &E 20 P Q 16 &E 21 Q 19, 20 risolto P R 16 &E 23 R 19, 22 risolto Q & R 21, 23 &I 25 (Q & R) 18 &E 26 (Q & R) & (Q & R) 24, 25 &I 27 (P (Q & R)) I 28 P (Q & R) 27 E 29 ((P Q) & (P R)) (P (Q & R)) I 30 (P (Q & R)) ((P Q) & (P R)) 15, 29 I (9) (P Q) ( Q P) 1 P Q H (per I) 2 Q H (per I) 3 P H (per I) 4 Q 1, 3 E 5 Q & Q 2, 4 &I 6 P 3 5 I 7 Q P 2 6 I 8 (P Q) ( Q P) 1 7 I 9 Q P H (per I) 10 P H (per I) 11 Q H (per I) 12 P 9, 11 E 13 P & P 2, 4 &I 14 Q I 15 Q 14 E 16 P Q I 17 ( Q P) (P Q) 9 16 I 18 (P Q) ( Q P) 8, 17 I
21 Soluzioni agli esercizi supplementari 21 (10) (P Q) ( P Q) 1 P Q H (per I) 2 P Q 1 risolto (P Q) ( P Q) 1 2 I 4 P Q H (per I) 5 P H (per I) 6 P Q 5 4.2(1) 7 P (P Q) 5 6 I 8 Q H (per I) 9 P Q 8 risolto Q (P Q) 8 9 I 11 P Q 4, 7, 10 E 12 ( P Q) (P Q) 4 11 I 13 (P Q) ( P Q) 3, 12 I (11) (P Q) (P & Q) 1 P Q H (per I) 2 P & Q H (per I) 3 P 2 &E 4 Q 1, 3 E 5 Q 2 &E 6 Q & Q 4, 5 &I 7 (P & Q) 2 6 I 8 (P Q) (P & Q) 1 7 I 9 (P & Q) H (per I) 10 P H (per I) 11 Q H (per I) 12 P & Q 10, 11 &I 13 (P & Q) & (P & Q) 9, 12 &I 14 Q I 15 Q 14 E 16 P Q I 17 (P & Q) (P Q) 9 16 I 18 (P Q) ( P Q) 8, 17 I (12) ((P & Q) R) (P (Q R)) 1 (P & Q) R H (per I) 2 P (Q R) 1 risolto ((P & Q) R) (P (Q R)) 1 2 I 4 P (Q R) H (per I) 5 P & Q H (per I) 6 P 5 &E 7 Q R 4, 6 E 8 Q 5 &E 9 R 7, 8 E 10 (P & Q) R 5 9 I 11 (P (Q R)) ((P & Q) R) 4 10 I 12 ((P & Q) R) (P (Q R)) 3, 11 I (13) P (P & P) 1 P H (per I) 2 P & P 1, 1 &I 3 P (P & P) 1 2 I 4 P & P H (per I) 5 P 4 &E
22 22 Varzi / Nolt / Rohatyn Logica 2/ed 6 (P & P) P 4 5 I 7 P (P & P) 3, 6 I (14) P (P P) 1 P H (per I) 2 P P 1 I 3 P (P P) 1 2 I 4 P P H (per I) 5 P 5 &E 6 P P 5 5 I 7 P 4, 6, 6 E 8 (P P) P 4 7 I 9 P (P P) 3, 8 I 4.5 (1) (P & Q) ( P Q) 1 (P & Q) ( P Q) IT 4.4(1) 2 (P & Q) ( P Q) 1 4.2(2) 3 (P & Q) ( P Q) 2 DN (2) (P Q) ( P & Q) 1 (P Q) ( P & Q) IT 4.4(2) 2 (P Q) ( P & Q) 1 4.2(2) 3 (P Q) ( P & Q) 2 DN (3) (P & Q) (P Q) 1 (P & Q) ( P Q) IT 4.5(1) 2 (P & Q) (P Q) 1 IM (4) (P Q) ( P Q) 1 ( P Q) ( P Q) IT 4.4(10) 2 ( P Q) (P Q) 1 DN 3 (P Q) ( P Q) 2 risolto 4.11 (5) P ((P & Q) (P & Q)) 1 P H (per I) 2 Q Q IT P & (Q Q) 1, 2 &I 4 (P & Q) (P & Q) 3 DIST 5 P ((P & Q) (P & Q)) 1-4 I 6 (P & Q) (P & Q) H (per I) 7 P & (Q Q) 6 DIST 8 P 7 &E 9 ((P & Q) (P & Q)) P 6-8 I 10 P ((P & Q) (P & P)) 5, 9 I (6) (P Q) (P & Q) 1 (P Q) (P & Q) IT 4.4(11) 2 (P Q) (P & Q) 1 4.2(2) 3 (P Q) (P & Q) 2 DN (7) (P Q) ((P & Q) ( P & Q)) 1 P Q H (per I) 2 P Q 1 E
23 Soluzioni agli esercizi supplementari 23 3 P (P & Q) 2 ASS 4 Q P 1 E 5 P Q 4 TRAS 6 P ( P & Q) 5 ASS 7 P P IT (P & Q) ( P & Q) 3, 6, 7 DC 9 (P Q) ((P & Q) ( P & Q)) 1 8 I 10 (P & Q) ( P & Q) H (per I) 11 P & Q H (per I) 12 P 11 &E 13 Q P 12 risolto Q 11 &E 15 P Q 14 risolto P Q 13, 15 I 17 (P & Q) (P Q) I 18 P & Q H (per I) 19 P 18 &E 20 Q P 19 risolto P Q 20 TRAS 21 Q 18 &E 22 P Q 21 risolto Q P 22 TRAS 24 P Q 20, 23 I 25 ( P & Q) (P Q) I 26 P Q 10, 17, 25 E 27 ((P & Q) ( P & Q)) (P Q) I 28 (P Q) ((P & Q) ( P & Q)) 9, 27 I (8) (P Q) (( P & Q) (P & Q)) 1 (( P & Q) (P & Q)) H (per I) 2 ((Q & P) (P & Q)) 1 COM 3 ( (Q P) (P Q)) 2 IE 4.5(6) (due v.) 4 (Q P) & (P Q) 3 IE 4.5(1) 5 Q P 4 &E 6 P Q 4 &E 7 P Q 5, 6 I 8 (( P & Q) (P & Q)) (P Q) 1 7 I 9 P Q H (per I) 10 P Q 9 E 11 Q P 9 E 12 (Q P) & (P Q) 10, 11 &I 13 ( (Q P) (P Q)) 12 IE 4.5(1) 14 ((Q & P) (P & Q)) 13 IE 4.5(6) (due v.) 15 (( P & Q) (P & Q)) 14 COM 16 (P Q) (( P & Q) (P & Q)) 9 15 I 17 (P Q) (( P & Q) (P & Q)) 8, 16 I 18 (P Q) (( P & Q) (P & Q)) (2) 19 (P Q) (( P & Q) (P & Q)) 18 DN (9) (P & P) (Q & Q) 1 (P & P) H (per I) 2 (Q & Q) IT (P & P) (Q & Q) 1-2 I 4 (Q & Q) H (per I) 5 (P & P) IT (Q & Q) (P & P) 4-5 I
24 24 Varzi / Nolt / Rohatyn Logica 2/ed 7 (P & P) (Q & Q) 3, 6 I 8 (P & P) (Q & Q) 7 4.2(2) 9 (P & P) (Q & Q) 8 DN (due volte) (10) (P P) (Q Q) 1 P P H (per I) 2 Q Q IT (P P) (Q Q) 1-2 I 4 Q Q H (per I) 5 P P IT (Q Q) (P P) 4-5 I 7 (P P) (Q Q) 3, 6 I Capitolo 5 (esercizi alle pp ) 5.1 (1) Ogni I non è P. Qualche I è non-p. (Usiamo I per individuo e P per perfetto, ovvero, in forma canonica, cosa perfetta.) La premessa è un asserzione categorica della forma E, che ha il seguente diagramma di Venn: La conclusione, che è della forma I con predicato complementare, ha invece il diagramma seguente: (si veda l risolto 5.9). Poiché il primo diagramma non dice nulla circa la porzione del cerchio I esterna a P, mentre nel secondo vi compare un, l inferenza non è valida. (Lo sarebbe se si assumesse che ogni termine designa un insieme non vuoto, come nella logica aristotelica. In tal caso, infatti, l insieme I dovrebbe contenere almeno un elemento e, data la premessa, dovrebbe per forza di cose trovarsi nella parte contrassegnata dal segno.) (2) Ogni I non è P. (Ogni I è P). Come in (1), la premessa è della forma E. La conclusione è la negazione di una forma A, il cui diagramma è:
25 Soluzioni agli esercizi supplementari 25 (si veda l risolto 5.12). Ci troviamo pertanto nella medesima situazione di (1): l inferenza non è valida. (3) Ogni I non è P. Ogni I è non-p. Anche in questo caso la premessa è della forma E, come in (1). La conclusione è un asserzione della forma A con predicato complementare e afferma che l insieme I è un sottoinsieme del complemento dell insieme P; il suo diagramma si ottiene quindi oscurando l area comune ai due cerchi: (si veda l risolto 5.10). Poiché questo diagramma coincide esattamente con quello della premessa, le due asserzioni sono equivalenti e l inferenza risulta valida. (4) Ogni I non è P. Qualche I non è P. In questo caso la conclusione è un asserzione categorica della forma O, il cui diagramma è: Poiché la premessa è immutata, ci troviamo ancora una volta nella situazione di (1) e (2): l inferenza non è valida. (5) Ogni V è S. Qualche V è S. (Usiamo V per verità autocontraddittoria e S per cosa sorprendente.) La premessa è un asserzione categorica della forma A, il cui diagramma si ottiene oscurando la parte del cerchio V esterna al cerchio S:
26 26 Varzi / Nolt / Rohatyn Logica 2/ed La conclusione è la subalterna della premessa: un asserzione della forma I il cui diagramma contiene un a indicare che gli insiemi V e S hanno almeno un elemento in comune: La diversità dei diagrammi dimostra che l inferenza non è valida (benché fosse ritenuta tale nella logica aristotelica). (6) Ogni M è non-p. (Qualche M è P). (Usiamo M per miracolo e P per cosa possibile.) La premessa è un asserzione della forma A con predicato complementare, il cui diagramma, come si è visto in (3), si ottiene oscurando l area comune ai due cerchi: La conclusione è la negazione di un asserzione della forma I, ossia di Qualche M è P. Il diagramma di Qualche M è P ha un nell area comune, e per rappresentare la negazione bisogna convertire l area così contrassegnata in un area o- scurata. Poiché ciò che si ottiene è un diagramma identico a quello della premessa, l inferenza è valida. (7) Ogni non-p è M. (Qualche P è M). (Qui usiamo M per cosa che mi piace e P per numero pari e interpretiamo la conclusione, Non mi piacciono i numeri pari, come Non c è alcun numero pari che mi piaccia.) La premessa è un asserzione categorica della forma A con soggetto complementare e afferma che il complemento dell insieme P è incluso nell insieme M. Il suo diagramma si ottiene quindi oscurando quella parte dell area esterna al cerchio P che non rientra nel cerchio M, cioè l area esterna a entrambi i cerchi:
27 Soluzioni agli esercizi supplementari 27 (si veda l risolto 5.6). Per contro, la conclusione è la negazione di un asserzione della forma I, come in (6), e ha il diagramma seguente: Dato che i diagrammi rappresentano situazioni completamente differenti, l inferenza non è valida. Si noti che nella formalizzazione abbiamo identificato numero dispari con numero non pari. Questo è giustificato, dal momento che si tratta di termini complementari, ma naturalmente avremmo anche potuto identificare numero pari con numero non dispari e formalizzare l inferenza così: Ogni D è M. (Qualche non-d è M). Il responso, comunque, non sarebbe cambiato. In questo caso, infatti, il diagramma della premessa sarebbe: mentre la conclusione avrebbe il diagramma seguente: (8) Questa non è un inferenza diretta ma un argomentazione (valida) in cui premessa e conclusione sono in forma condizionale.
28 28 Varzi / Nolt / Rohatyn Logica 2/ed (9) Ogni R non è E. Ogni R è non-e. ( R per referendum e E per cosa che darà gli esiti desiderati.) Quest inferenza è un esempio di obversione e pertanto è valida. Sia la premessa che la conclusione hanno lo stesso diagramma: (10) Ogni non-c è E. Ogni non-e non è non-c. ( C per persona competente e E per persona che commette errori.) Anche quest inferenza, nella quale la conclusione è ottenuta dalla premessa per contrapposizione e obversione, è valida. Le due asserzioni hanno lo stesso diagramma: 5.2 (1) Ogni I è E. Ogni D non è E. Ogni I non è D. (Usiamo I per persona incompetente, E per persona che commette errori, e D per persona diligente.) Il diagramma seguente dimostra che si tratta di un sillogismo categorico valido: Si noti che, diversamente dall esercizio 5.1(10), qui abbiamo trattato incompetente alla stregua di un termine semplice. Ciò è dovuto al fatto che nel testo ci siamo limitati a considerare sillogismi in cui non compaiono termini complementari (Paragrafo 5.4). Se volessimo anche qui rappresentare incompetente come complementare di competente, usando non-c al posto di I, il diagramma richiederebbe una cornice esterna:
29 Soluzioni agli esercizi supplementari 29 Anche così, tuttavia, la validità del sillogismo risulterebbe confermata, poiché rappresentando le premesse si rappresenta automaticamente la conclusione. (2) Ogni M è A. Ogni A è D. Ogni M è D. (Usiamo M per cosa detta da Mario, A per cosa assurda, che equivale ad assurdità, e D per cosa deplorevole.) Questo è un sillogismo categorico valido, come mostra il diagramma: (3) Questo non è un sillogismo categorico, dato che le premesse non sono asserzioni categoriche. (Si tratta tuttavia di un argomentazione valida.) (4) Qualche P è F. Qualche P è B. Qualche F è B. (Usiamo P per persona, F per fumatore, cioè cosa (persona) che fuma, e B per bevitore, cioè cosa (persona) che beve.) Questo è un sillogismo categorico, ma il diagramma mostra che non è valido: la conclusione richiede che ci sia almeno un all interno dell area comune ai cerchi F e B.
30 30 Varzi / Nolt / Rohatyn Logica 2/ed (5) Ogni R è T. Ogni F non è T. Ogni F non è R. (Qui usiamo I per cosa (persona) che riceverà l incarico, T per cosa (persona) in grado di portare a termine l incarico, e F per filosofo.) Il diagramma mostra che si tratta di un sillogismo categorico valido. (6) Ogni G non è M. Qualche G è P. Ogni P non è M. (Usiamo G per giocatore, M per cosa (persona) che si è fatta male, e P per cosa (persona) che era in panchina.) Il diagramma mostra che il sillogismo non è valido: la conclusione vorrebbe che l area comune tra P e M sia oscurata. (7) Ogni B è F. Ogni D non è B. Qualche D non è F. (Usiamo B per cosa bella, F per cosa che deve finire (o che avrà termine), e D per dittatura.) Il diagramma mostra che il sillogismo non è valido: la verità della conclusione richiede un nell area del cerchio D esterna al cerchio F.
31 Soluzioni agli esercizi supplementari 31 (8) Ogni E è N. Ogni P non è N. Ogni P non è E. (Usiamo E per elettrone, N per cosa che ha carica negativa, e P per positrone.) Il sillogismo ha la stessa forma di quello in (6) e anche in questo caso il diagramma ne dimostra la validità. (9) Ogni E è N. Ogni P non è N. Qualche P non è E. Le premesse sono identiche a quelle del sillogismo in (8), quindi il diagramma è identico. In questo caso, però, la conclusione vorrebbe un nell area del cerchio P esterna a E. Siccome quell area è vuota, il sillogismo non è valido. (10) Ogni R è S. Qualche S è B. Qualche R è B. (Usiamo R per suo regalo, S per sorpresa, e B per cosa bellissima.) Il diagramma mostra che il sillogismo non è valido: le premesse sono compatibili con l esistenza di un elemento comune agli insiemi R e B, ma non la garantiscono.
32 32 Varzi / Nolt / Rohatyn Logica 2/ed 5.3 (1) Ogni S è P. Ogni S non è non-p. Quest inferenza è un esempio di obversione per la forma A. La conclusione è ottenuta dalla premessa invertendo la qualità (da affermativa a negativa) e sostituendo il predicato P con il suo complementare: si afferma che l insieme S è disgiunto dal complemento dell insieme P. Pertanto, il suo diagramma si ottiene oscurando la porzione del cerchio S esterna al cerchio P. Poiché il risultato coincide con il diagramma della premessa, l inferenza è valida. (2) Ogni S è P. Ogni non-p è non-s. Quest inferenza è un esempio di contrapposizione per la forma A. La conclusione è ottenuta dalla premessa sostituendo il soggetto con il complementare del predicato e il predicato con il complementare del soggetto: si afferma che il complemento dell insieme P è incluso nel complemento dell insieme S, cioè che è disgiunto da S. Pertanto, il suo diagramma si ottiene oscurando la porzione esterna al cerchio P che giace all interno del cerchio S. Il risultato è esattamente il diagramma di un asserzione della forma A, cioè della premessa, come in (1), quindi l inferenza è valida. (3) Ogni S non è non-p. Ogni S è P. Quest inferenza consiste delle stesse asserzioni della (1), sebbene l ordine sia scambiato. Poiché si è visto che i loro diagrammi coincidono, l inferenza è valida. (È un altro esempio di obversione.) (4) Qualche S è P. Qualche S non è non-p. Quest inferenza è un esempio di obversione per la forma I. Il diagramma della conclusione si ottiene indicando con un che l insieme S ha almeno un elemento che non si trova nel complemento dell insieme P. Poiché ciò equivale a scrivere nell area comune ai due cerchi, il risultato coincide con il diagramma della premessa, dimostrando che l inferenza è valida. (5) Qualche S non è non-p. Qualche S è P.
33 Soluzioni agli esercizi supplementari 33 Quest inferenza consiste delle stesse asserzioni della (4), sebbene l ordine sia scambiato. Poiché si è visto che i loro diagrammi coincidono, l inferenza è valida. (È un altro esempio di obversione.) (6) Qualche S non è P. Qualche non-p non è non-s. Quest inferenza è un esempio di contrapposizione per la forma O. Il diagramma della conclusione si ottiene indicando con un che il complemento dell insieme P contiene almeno un elemento che non appartiene al complemento dell insieme S, e quindi che appartiene a S. Poiché il risultato coincide con il diagramma della premessa, l inferenza è valida. (7) Qualche S è P. (Ogni S non è P). Quest inferenza è un esempio di negazione della contraddittoria per la forma I. Il diagramma della conclusione si ottiene dal diagramma per la forma E, di cui è la negazione, rimuovendo l ombtreggiatura dall area comune ai due cerchi e sostituendola con un. Il risultato coincide con il diagramma della premessa, già fornito in (4), quindi l inferenza è valida. (8) (Ogni S non è P). Qualche S è P. Quest inferenza consiste delle stesse asserzioni della (7), sebbene l ordine sia scambiato. Poiché si è visto che i loro diagrammi coincidono, l inferenza è valida. (9) Ogni S non è P. (Qualche S è P). Quest inferenza è un esempio di negazione della contraddittoria per la forma E. Il diagramma della conclusione si ottiene dal diagramma per la forma I, di cui è la negazione, rimuovendo il segno e oscurando l area comune ai due cerchi. Il risultato coincide con il diagramma della premessa, quindi l inferenza è valida. (10) (Qualche S è P). Ogni S non è P.
34 34 Varzi / Nolt / Rohatyn Logica 2/ed Quest inferenza consiste delle stesse asserzioni della (9), sebbene l ordine sia scambiato. Poiché si è visto che i loro diagrammi coincidono, l inferenza è valida. 5.4 (1) Qualche S non è P. Qualche P non è S. Il confronto del diagramma della premessa (a sinistra) con il diagramma della conclusione (a destra) dimostra che l inferenza non è valida. (2) Qualche S è P. Qualche non-p è non-s. Il confronto del diagramma della premessa (a sinistra) con il diagramma della conclusione (a destra) dimostra che l inferenza non è valida. (3) (Qualche S non è P). Qualche S è P. Il confronto del diagramma della premessa (a sinistra) con il diagramma della conclusione (a destra) dimostra che l inferenza non è valida. (4) Ogni S è P (Ogni S non è P) Il confronto del diagramma della premessa (a sinistra) con il diagramma della conclusione (a destra) dimostra che l inferenza non è valida. Si noti che i diagrammi coincidono con quelli di (3): si tratta infatti di due inferenze costituite da asserzioni equivalenti ottenute per negazione della contraddittoria (si veda l 5.3(7)).
35 Soluzioni agli esercizi supplementari 35 (5) (Qualche S è P). Qualche S non è P. Il confronto del diagramma della premessa (a sinistra) con il diagramma della conclusione (a destra) dimostra che l inferenza non è valida. (1) La forma EIO della prima figura è la seguente: Ogni G non è H. Qualche F è G. Qualche F non è H. Il diagramma determinato dalle premesse è riportato di seguito. Poiché il segno si trova all interno del cerchio F ma all esterno del cerchio H, il diagramma rappresentata correttamente anche la conclusione. Ciò dimostra la validità della forma in esame. 5.5 (2) La forma EAE della seconda figura è la seguente:: Ogni H non è G. Ogni F è G. Ogni F non è H. Il diagramma determinato dalle premesse è riportato di seguito. Poiché l area comune ai cerchi F e H è oscurata, indicando che non contiene alcun elemento, il diagramma rappresentata correttamente anche la conclusione. Ciò dimostra la validità della forma.
36 36 Varzi / Nolt / Rohatyn Logica 2/ed (3) La forma EIO della seconda figura è la seguente: Ogni H non è G. Qualche F è G. Qualche F non è H. Il diagramma determinato dalle premesse di questa forma è identico a quello in (1). (Ciò è dovuto al fatto che la prima premessa è identica e la seconda è equivalente, essendo ottenuta per conversione.) Poiché anche la conclusione è identica, se ne deduce che la forma è altrettanto valida. (4) La forma AOO della seconda figura è la seguente: Ogni H è G. Qualche F non è G. Qualche F non è H. Il diagramma determinato dalle premesse è riportato di seguito. Poiché il segno si trova all interno del cerchio F e all esterno del cerchio H, il diagramma rappresentata correttamente anche la conclusione. Ciò dimostra la validità della forma. (5) La forma IAI della terza figura è la seguente: Qualche G è H. Ogni G è F. Qualche F è H. Il diagramma determinato dalle premesse è riportato di seguito. In questo caso notiamo che il segno, che in base alla prima premessa potrebbe giacere da ambo i lati della linea di confine, deve per forza trovarsi all interno del cerchio F. Dal momento che appartiene anche ad H, se ne deduce che il diagramma rappresentata correttamente la conclusione, dimostrando la validità della forma in esame.
37 Soluzioni agli esercizi supplementari 37 (6) La forma AII della terza figura è la seguente: Ogni G è H. Qualche G è F. Qualche F è H. Il diagramma determinato dalle premesse rappresentata correttamente anche la conclusione, quindi la forma è valida. (7) La forma EIO della terza figura è la seguente: Ogni G non è H. Qualche G è F. Qualche F non è H. Il diagramma determinato dalle premesse è identico a quello in (1). Poiché anche la conclusione è identica, se ne deduce che la forma è altrettanto valida. (8) La forma AEE della quarta figura è la seguente: Ogni H è G. Ogni G non è F. Ogni F non è H. Il diagramma determinato dalle premesse rappresentata correttamente anche la conclusione, quindi la forma è valida.
38 38 Varzi / Nolt / Rohatyn Logica 2/ed (9) La forma IAI della quarta figura è la seguente: Qualche H è G. Ogni G è F. Qualche F è H. Il diagramma determinato dalle premesse è identico a quello in (5). Poiché anche la conclusione è identica, se ne deduce che la forma è altrettanto valida. (10) La forma EIO della quarta figura è la seguente: Ogni H non è G. Qualche G è F. Qualche F non è H. Il diagramma determinato dalle premesse è identico a quello in (1). Poiché anche la conclusione è identica, se ne deduce che la forma è altrettanto valida. 5.6 (1) La forma AAI della terza figura è la seguente: Ogni G è H. Ogni G è F. Qualche F è H. Il diagramma determinato dalle premesse, ciascuna delle quali è un asserzione universale (affermativa), è riportato di seguito. Poiché non vi compare alcun, e in particolar modo alcun nella parte comune ai cerchi F e H, ne segue che il diagramma non rappresenta correttamente la conclusione, quindi la forma in esame è invalida. Si noti tuttavia che se l insieme G fosse necessariamente nonvuoto, come si presuppone nella logica aristotelica, la parte comune a G e a F conterrebbe almeno un elemento, e quest elemento sarebbe per forza di cose incluso in H. In tal caso, la conclusione sarebbe vera e la forma argomentativa risulterebbe valida. (2) La forma EAO della terza figura è la seguente: Ogni G non è H. Ogni G è F. Qualche F non è H. Il diagramma determinato dalle premesse è riportato di seguito. Poiché non vi compare alcun, e in particolar modo alcun nella parte del cerchio F che giace all esterno del cerchio H, ne segue che il diagramma non rappresenta correttamente la conclusione, quindi la forma è invalida. Anche in questo caso, tuttavia, la forma risulterebbe valida nella logica aristotelica. Infatti, se l insieme G fosse necessariamente non-vuoto, la parte comune a G e a F conterrebbe almeno un elemento, e quest elemento sarebbe per forza di cose esterno ad H, rendendo vera la conclusione.
39 Soluzioni agli esercizi supplementari 39 (3) La forma AAI della quarta figura è la seguente: Ogni H è G. Ogni G è F. Qualche F è H. Il diagramma determinato dalle premesse, riportato di seguito, non contiene alcun, e in particolar modo alcun nella parte comune ai cerchi F e H. Ne segue che il diagramma non rappresenta correttamente la conclusione, quindi la forma è invalida. Sarebbe valida nella logica aristotelica in quanto l insieme H conterrebbe almeno un elemento, e quest elemento sarebbe per forza di cose incluso in F, rendendo vera la conclusione. Capitolo 6 (esercizi alle pp ) (1) Ca & Cb (2) Cb & Ib (3) x(cx Abx) (4) x(abx Cx) (5) x((cx & Axx) Dax) (6) Ib & x(cx Dbx) (7) Cb & x(ix & Dxb) (8) x((cx & Abx) Aax) (9) x((cx & Aax) Abx) (10) x(cx (Aax Abx)) (11) x((cx & Abx) Aax). Quest enunciato è una variante grammaticale di (8). (12) x y(((cx & Ix) & (Cy & Iy)) Pbxy) (13) x y((cy & Iy) Axy) (14) x y((cy & Iy) Axy) (15) x(ix y(cy Axy)) 6.1
Sistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]
Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi
DettagliLe asserzioni categoriche. Unit 3, Lez 1 Corso di Logica e Teoria dell Argomentazione
Le asserzioni categoriche Unit 3, Lez 1 Corso di Logica e Teoria dell Argomentazione Sommario Asserzioni categoriche Diagrammi di Venn Inferenze dirette Sillogismi categorici Forme e figure Asserzioni
DettagliRagionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
DettagliLuca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
DettagliErrata corrige del libro Introduzione alla logica e al linguaggio matematico
Errata corrige del libro Introduzione alla logica e al linguaggio matematico 28 gennaio 2009 Capitolo 1 Pag. 7, Definizione 6. Il complemento di un sottoinsieme A di I è il sottoinsieme A = {x I : x /
DettagliRISOLUZIONE IN LOGICA PROPOSIZIONALE. Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine
RISOLUZIONE IN LOGICA PROPOSIZIONALE Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine 1. Risoluzione Definitione 1.1. Un letterale l è una variabile proposizionale (letterale
DettagliEsercizi sul Calcolo Proposizionale
Esercizi sul Calcolo Proposizionale Francesco Sborgia Matricola: 459245 December 7, 2015 1 Esercizio 1 Per ogni formula A dimostrare che ρ(a) = min{n A F n } Definizione 1. Ricordiamo che, dato un linguaggio
Dettagli04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
DettagliLogica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
Dettagli1 Il linguaggio matematico
1 Il linguaggio matematico 1.1 La logica delle proposizioni La matematica è un linguaggio; a differenza del linguaggio letterario che utilizza una logica soggettiva, la matematica si serve di una logica
DettagliALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI
ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni
DettagliISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica
settembre 008 Elementi di Logica 1. Nozioni preliminari La logica studia come funziona il pensiero e il ragionamento espresso attraverso degli enunciati Il ragionamento è un sistema di enunciati che permette
DettagliLe asserzioni categoriche. Unit 3, Lez 1 Corso di Logica
Le asserzioni categoriche Unit 3, Lez 1 Corso di Logica Sommario Asserzioni categoriche Diagrammi di Venn Inferenze dirette Sillogismi categorici Forme e figure Asserzioni categoriche Qualche uccello è
Dettagli1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):
. equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale
DettagliCorso: Multimedialità e modelli di argomentazione (3 cr.)
Corso: Multimedialità e modelli di argomentazione (3 cr.) Decima lezione Docente: Giuseppe Spolaore. Ricevimento: Martedì, ore 11.50-13.25, presso il Dipartimento di Filosofia. Libro di testo: A. Iacona,
DettagliMaiuscole e minuscole
Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e
Dettagli1 Cenni di logica matematica
1 Cenni di logica matematica 1 1 Cenni di logica matematica Una delle discipline chiave della matematica (e non solo, visto che è fondamentale anche per comprendere la lingua parlata) è la logica matematica,
DettagliIntroduzione alla logica proposizionale
Introduzione alla logica proposizionale Mauro Bianco Questa frase è falsa Contents 1 Proposizioni 1 2 Altri operatori 4 Nota : Le parti delimitate da *** sono da considerarsi facoltative. 1 Proposizioni
DettagliSistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un
Sistemi di inferenza Consentono di derivare formule da altre formule: formalizzazione del ragionamento. Un sistema di inferenza è costituito da: un insieme di assiomi un insieme di regole di inferenza,
Dettagli02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
DettagliIntelligenza Artificiale. Logica proposizionale: calcolo simbolico
Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica
DettagliIntroduzione alla Matematica per le Scienze Sociali - parte I
Introduzione alla Matematica per le Scienze Sociali - parte I Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica
DettagliLogica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
DettagliSesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva
Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione
DettagliINDUZIONE E NUMERI NATURALI
INDUZIONE E NUMERI NATURALI 1. Il principio di induzione Il principio di induzione è una tecnica di dimostrazione molto usata in matematica. Lo scopo di questa sezione è di enunciare tale principio e di
DettagliElementi di Logica Teoria degli insiemi
Precorso di Analisi Matematica Facoltà d'ingegneria Università del Salento Elementi di Logica Teoria degli insiemi Proff. A. Albanese E. Mangino Dipartimento di Matematica e Fisica E. De Giorgi - Università
Dettaglisempre vere sempre false
Logica: elementi I principi della logica sono innanzitutto i seguenti: Identità: a=a (ogni cosa è cioè identica a se stessa) Non contraddizione: non (a e non a). E impossibile che la stessa cosa sia e
DettagliRelazioni e Principio di Induzione
Relazioni e Principio di Induzione Giovanna Carnovale October 12, 2011 1 Relazioni Dato un insieme S, un sottoinsieme fissato R del prodotto cartesiano S S definisce una relazione ρ tra gli elementi di
DettagliLogica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
DettagliEquazioni di primo grado
Equazioni di primo grado 15 15.1 Identità ed equazioni Analizziamo le seguenti proposizioni: a ) cinque è uguale alla differenza tra sette e due ; b ) la somma di quattro e due è uguale a otto ; c ) il
DettagliRagionamento formalei. Ragionamento formale
Ragionamento formale La necessità e l importanza di comprendere le basi del ragionamento formale, utilizzato in matematica per dimostrare teoremi all interno di teorie, è in generale un argomento piuttosto
DettagliEsercizi di logica. Ivan Valbusa 5 dicembre 2012
Esercizi di logica Ivan Valbusa 5 dicembre 2012 Gli esercizi proposti di seguito coprono solo una piccola parte del programma del corso. Sono mediamente più difficili di quelli presenti sul manuale di
DettagliSoluzioni del Test OFA del 18/09/2015
Soluzioni del Test OFA del 18/09/201 Materiale prelevato da http://www.batmath.it Versione del 19 settembre 201 Questo fascicolo contiene la risoluzione dei quesiti proposti nel test OFA del 18 settembre
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliInsiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
DettagliIntelligenza Artificiale I
Intelligenza Artificiale I Logica formale Calcolo simbolico Marco Piastra Logica formale - Calcolo simbolico - 1 Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi modello
Dettagli9 Calcolo dei sequenti LC p
9 Calcolo dei sequenti LC p In questa sezione mostriamo un metodo più elegante, semplice e soprattutto AUTOMATICO per mostrare se una proposizione è valida o meno e soddisfacibile o meno. Tale metodo è
DettagliLogica. Tomas Cipriani
Logica Tomas Cipriani If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic. Alice through the looking glass, Lewis Carroll (Se è stato così, potrebbe essere;
DettagliUn po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 27 febbraio 2005 Nota importante. Queste pagine contengono appunti personali dell esercitatore e sono messe a disposizione nel caso possano
DettagliLogica filosofica. Terza Parte Il ragionamento
Logica filosofica Terza Parte Il ragionamento Caratteristiche generali del ragionamento Definizione: Il ragionamento è un movimento della mente per il quale passiamo da diversi giudizi confrontatisi fra
DettagliAppunti di Matematica 1 - Insiemi - Insiemi
Insiemi Il concetto di insieme è molto importante in matematica. Cominciamo con lo stabilire cos è un insieme in senso matematico: un raggruppamento di oggetti è un insieme se si può stabilire in modo
DettagliLogica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;
Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,
DettagliLezioni (25 ottobre 2018)
Lezioni 11-12 (25 ottobre 2018) Eliminazione (B) di coppie di premesse sterili relativamente a date conclusioni (B1): sterilità relative alla quantità Esempio di una coppia che non può portare a conclusione
DettagliLogica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
DettagliPrecorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
DettagliCALCOLO PROPOSIZIONALE
CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche
DettagliFondamenti teorici e programmazione
Fondamenti teorici e programmazione FTP(A) - modb Lezione 8 F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 Ragionamento formale Comprendere le basi del ragionamento
DettagliESERCIZI DI LOGICA MATEMATICA A.A Alessandro Combi
ESERCIZI DI LOGICA MATEMATICA A.A. 2015-16 Alessandro Combi Esercizio 1.7 Per ogni formula A, dimostrare che ρ(a) = min{n A F n } Soluzione: Chiamo rank(a) = min{n A F n }. Bisogna provare che rank segue
DettagliIntelligenza Artificiale. Logica proposizionale: calcolo automatico
Intelligenza Artificiale Logica proposizionale: calcolo automatico Marco Piastra Logica formale (Parte 3) - Parte 3 Calcolo automatico Forme normali ed a clausole Risoluzione e refutazione Forward chaining
DettagliINSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.
INSIEMI DEF. Un INSIEME è una qualsiasi collezione di oggetti. Esso è ben definito quando è chiaro se un oggetto appartiene o non appartiene all insieme stesso. Esempio. E possibile definire l insieme
DettagliIntroduzione alla Matematica per le Scienze Sociali - parte II
Introduzione alla Matematica per le Scienze Sociali - parte II Lucrezia Fanti Istituto Nazionale per l Analisi delle Politiche Pubbliche (INAPP) lucrezia.fanti@uniroma1.it Lucrezia Fanti Intro Matematica
Dettagli3. OPERAZIONI TRA CLASSI 2
INSIEMI 1. Elementi e Classi Lo scopo di questo primo capitolo è di introdurre in maniera rigorosa le nozioni di classe e insieme, e di studiarne le principali proprietà. Nel seguito useremo il termine
DettagliSemantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica
Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 20 Gennaio 2011 1 Un test problematico Sapendo che in questo test una sola risposta
DettagliCALCOLO PROPOSIZIONALE: CENNI
CALCOLO PROPOSIZIONALE: CENNI Francesca Levi Dipartimento di Informatica February 26, 2016 F.Levi Dip.to Informatica Informatica per le Scienze Umane a.a. 15/16 pag. 1 La Logica La logica è la disciplina
DettagliLogica di Base. Docente: Francesca Benanti. 27 Gennaio 2007
Logica di Base Docente: Francesca Benanti 27 Gennaio 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica è
DettagliAppunti di informatica. Lezione 7 anno accademico Mario Verdicchio
Appunti di informatica Lezione 7 anno accademico 2016-2017 Mario Verdicchio L algoritmo di Euclide per l MCD Dati due numeri A e B, per trovare il loro MCD procedere nel seguente modo: 1. dividere il maggiore
Dettagliinsieme c n ce c r e t r ez e z z a a par a t r ien e e e o no distinguere l uno dall altro insieme degli animali a quattro zampe
Parlando di oggetti, persone, elementi in genere, usiamo spesso il termine di insieme con il significato di un raggruppamento di oggetti, persone ecc. In matematica il termine insieme non è così generico;
Dettagli1. Esistono numeri della forma , ottenuti cioè ripetendo le cifre 2006 un certo numero di volte, che siano quadrati perfetti?
1 Congruenze 1. Esistono numeri della forma 200620062006...2006, ottenuti cioè ripetendo le cifre 2006 un certo numero di volte, che siano quadrati perfetti? No, in quanto tutti questi numeri sono congrui
DettagliLogica di Base. Docente: Francesca Benanti. 13 Dicembre 2007
Logica di Base Docente: Francesca Benanti 13 Dicembre 2007 1 Logica Formale La logica è la disciplina filosofica che studia le forme del ragionamento corretto. Da Aristotele al secolo scorso la logica
DettagliInsiemi ed applicazioni
Insiemi ed applicazioni Giovanna Carnovale October 11, 2011 1 Insiemi Con il termine insieme denoteremo una collezione di oggetti. Gli oggetti di questa collezione saranno chiamati elementi dell insieme.
DettagliUniversità degli Studi di Roma Tor Vergata. Principio di induzione matematica
Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.
DettagliAPPUNTI PER IL CORSO DI MATEMATICA APPLICATA. 1. Lezione 1 Richiamo brevemente alcune notazioni della teoria degli insiemi.
APPUNTI PER IL CORSO DI MATEMATICA APPLICATA ERNESTO DE VITO - UNIVERSITÀ DI GENOVA, ITALY 1. Lezione 1 Richiamo brevemente alcune notazioni della teoria degli insiemi. insieme vuoto N insieme dei numeri
DettagliPRINCIPIO DI INDUZIONE E APPLICAZIONI
PRINCIPIO DI INDUZIONE E APPLICAZIONI Il principio di induzione è un potente metodo dimostrativo indiretto per stabilire la validità di proposizioni che riguardano una successione infinita di casi. GIZ
DettagliAffermazioni aperte e quantificatori Definizione affermazione aperta Esempi Esempio Definizione Esempio Definizione quantificatore universale
Affermazioni aperte e quantificatori Definizione Una affermazione aperta è una affermazione che coinvolge una o più variabili. Esempi (a) 5 ³ 3x 2 (b) Il bambino ha un quaderno rosso. Una affermazione
DettagliRichiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
DettagliCalcolo dei sequenti II. Il Calcolo dei Sequenti d. Gentzen: La Logica Intuizionista.
Calcolo dei sequenti II. Il Calcolo dei Sequenti di Gentzen: La Logica Intuizionista. giovanni.casini@gmail.com 6 Maggio 2009 Introduzione Ieri abbiamo visto cos è formalmente un sequente (una coppia ordinata
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 7 Formule Valide, Conseguenza Logica Proof System per la Logica del Primo Ordine Leggi per i Quantificatori
DettagliBOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1
BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme
DettagliRiassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.
Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
DettagliCompito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: A A A B, B A A A B B A A A
Es. 1. Compito di logica 28 giugno 2007 SOLUZIONI Fornire una derivazione in LJ dei sequenti: a. A (B C) (A B) (A C) B B C C A A B C, B C A (B C), (A B), A C A (B C), (A B) (A C) A (B C) (A B) (A C) b.
Dettagli4 La Logica come base di ogni scienza. 5 Alla ricerca della forma logica. logica
4 La Logica come base di ogni scienza La Logica è alla base di ogni scienza (o teoria) in quanto è fondamento di ogni scienza non tanto per i contenuti specifici ma per la loro articolazione deduttiva.
DettagliMatematica I. Modulo: Analisi Matematica. Corso 3 (matricole dal n al n 40167) Docente: R. Argiolas
Matematica I Modulo: Analisi Matematica orso 3 (matricole dal n 39905 al n 40167) Docente: R. Argiolas Facoltà di Ingegneria - Università degli Studi di agliari Anno Accademico: 2008/2009 Brevi richiami
DettagliBREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
DettagliCalcoli dei sequenti classici e lineare
Calcoli dei sequenti classici e lineare Gianluigi Bellin November 5, 2009 Scheda per il compito 2, scadenza rinviata al marteedì 10 novembre 2009 1 Calcolo dei sequenti classico 1.1 Linguaggio ed interpretazione
DettagliCORSO DI ALGEBRA LINEARE Anno Accademico 2004/2005 Appunti su SISTEMI di EQUAZIONI LINEARI
CORSO DI ALGEBRA LINEARE Anno Accademico 2004/2005 Appunti su SISTEMI di EQUAZIONI LINEARI Lo studente ha forse già incontrato i sistemi di equazioni lineari alla scuola secondaria Con il termine equazione
DettagliIntroduzione alla logica proposizionale
Introduzione alla logica proposizionale Francesco Paoli Dispense per gli studenti March 6, 2013 1 Linguaggi proposizionali Nel presente modulo studieremo la logica proposizionale classica. In generale,
DettagliCorso: Multimedialità e modelli di argomentazione (3 cr.)
Corso: Multimedialità e modelli di argomentazione (3 cr.) Quinta lezione Docente: Giuseppe Spolaore. Ricevimento: Martedì, ore 11.50-13.25, presso il Dipartimento di Filosofia. Libro di testo: A. Iacona,
DettagliProposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
DettagliGeometria e Matematica di Base. Foglio di esercizi 1, con soluzioni
Geometria e Matematica di Base. Foglio di esercizi 1, con soluzioni Maria Rita D Orio, Giada Moretti, Daniele Vitacolonna Nota! Useremo per tutti gli esercizi a = 5, b = 9. 1 Esercizi di logica Esercizio
DettagliDIETRO LE QUINTE DELLA MATEMATICA
DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 6 (10-2-2017) PERUCCO Pieraldo Dalla Logica alla Geometria Da regole empiriche a una rigorosa costruzione fondata sulla sistematica
DettagliEsercizi con i tableaux in logica del primo ordine
Esercizi con i tableaux in logica del primo ordine Sandro Zucchi 2013-14 Regole per Q(TAB) Il sistema di tableaux che abbiamo adottato per LQ consiste nelle regole di LP(TAB) + le regole seguenti: dove
DettagliLOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Prima esercitazione 28/9/2017 Soluzioni Proposte
LOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Prima esercitazione 28/9/2017 Soluzioni Proposte Attenzione: Le soluzioni che seguono sono considerate corrette dai docenti. possono esistere altre soluzioni corrette,
DettagliLOGICA FUZZY, I LOGICA DI GÖDEL
LOICA FUZZY, I LOICA DI ÖDEL SINTASSI, SEMANTICA POLIVALENTE, COMPLETEZZA VINCENZO MARRA 1. Sintassi Si consideri nuovamente l alfabeto A = {(, ), X,, $,,,,, } impiegato per la logica proposizionale classica,
DettagliSemantica e prammatica. Gianluigi Bellin
Semantica e prammatica Gianluigi Bellin November 16, 2010 Promesse. Consideriamo il problema di formalizzare il seguente enunciato Se tu non aiuti me quando io ho bisogno di te, io non aiuto te quando
DettagliConversione binario-ottale/esadecimale. Conversione binario-ottale/esadecimale. Rappresentazione di Numeri Interi Positivi (numeri naturali)
Conversione binario-ottale/esadecimale Conversione binario-ottale/esadecimale Nella rappresentazione ottale (B=8) si usano gli 8 simboli,, 2, 3, 4, 5, 6, 7 In quella esadecimale (B=6) i 6 simboli,, 2,
DettagliTerza lezione - 15/03/2018
Università degli Studi di Trento CORSO DI ANALISI MATEMATICA II DIPARTIMENTO DI FISICA ANNO ACCADEMICO 2017/2018 ALBERTO MAIONE Terza lezione - 15/03/2018 1. Richiami teorici 1.1. Spazi Topologici. Definizione
DettagliInsiemi Numerici: I Numeri Naturali. 1 I Numeri Naturali: definizione assiomatica
Insiemi Numerici: I Numeri Naturali Docente: Francesca Benanti Ottobre 018 1 I Numeri Naturali: definizione assiomatica Sin dall antichità è stata data una sistemazione rigorosa alla geometria. Euclide
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
DettagliCALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
DettagliElementi di Logica matematica. Elementi di logica matematica
1 Elementi di logica matematica Molte grammatiche definiscono la proposizione come un giudizio della mente espresso con parole, cioè da un punto di vista grammaticale la parola proposizione sta ad indicare
DettagliLOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Terza esercitazione 24/ Soluzioni Proposte
LOGICA PER LA PROGRAMMAZIONE a.a. 2017/18 Terza esercitazione 24/25-10-2017 Soluzioni Proposte Attenzione: Le soluzioni che seguono sono considerate corrette dai docenti. possono esistere altre soluzioni
DettagliRISOLVERE EQUAZIONI DI PRIMO GRADO INTERE
Prof. Di Caprio 1 RISOLVERE EQUAZIONI DI PRIMO GRADO INTERE Introduzione In questa lezione impareremo a risolvere equazioni di primo grado intere. Esse sono molto utili principalmente per risolvere alcune
Dettagli