Dall italiano al linguaggio della logica proposizionale
|
|
- Uberto Bellini
- 8 anni fa
- Visualizzazioni
Transcript
1 Dall italiano al linguaggio della logica proposizionale Dall italiano al linguaggio della logica proposizionale Enunciati atomici e congiunzione In questa lezione e nelle successive, vedremo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Sandro Zucchi S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 1 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 2 Enunciati atomici dell italiano Rappresentazione in LP degli enunciati atomici Così come alcune formule di LP sono atomiche, cioè non sono composte da altre formule, l italiano ha degli enunciati che non sono composti da altri enunciati, e che, per questa ragione, possiamo chiamare enunciati atomici. In questo senso, (1) è un enunciato atomico dell italiano: (1) L erba è verde. Invece, (2) non è un enunciato atomico dell italiano, è un enunciato complesso, in quanto è composto dagli enunciati l erba è verde e il fumo è giallo : Come si rappresentano in LP gli enunciati atomici dell italiano? Con lettere proposizionali di LP. La scelta della lettera proposizionale da usare per un dato enunciato atomico è arbitraria. Tuttavia, dovremo aver cura di rispettare queste convenzioni: usare la stessa lettera proposizionale per rappresentare occorrenze diverse dello stesso enunciato atomico; usare lettere proposizionali diverse per rappresentare enunciati atomici diversi. (2) L erba è verde e il fumo è giallo. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 3 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 4
2 Una conseguenza Una conseguenza della nostra scelta di rappresentare gli enunciati atomici dell italiano attraverso lettere proposizionali arbitrarie di LP è che la rappresentazione in LP degli enunciati atomici dell italiano non avrà nulla da dirci sulle condizioni di verità di questi enunciati. In altre parole, la rappresentazione in LP non ci darà alcuna informazione su come le condizioni di verità di (1) differiscono dalle condizioni di verità di (3) o di (4): (1) L erba è verde. (3) Il fumo è giallo. (4) Ogni rosa ha la sua spina. Per gli enunciati complessi dell italiano, invece, non sarà così: la scelta di una certa rappresentazione in LP per enunciati complessi dell italiano di una certa forma equivarrà, come vedremo, ad attribuire certe condizioni di verità a enunciati di quella forma. La chiave di rappresentazione Abbiamo detto che rappresenteremo gli enunciati atomici dell italiano con lettere proposizionali arbitrarie di LP. Per chiarezza, ogni volta che rappresentiamo un enunciato dell italiano con una formula di LP è opportuno specificare a quali enunciati atomici dell italiano le lettere proposizionali usate nella formula corrispondono. Chiameremo questa informazione la chiave di rappresentazione. Per esempio, se nella rappresentazione usiamo le lettere p e q per gli enunciati atomici l erba è verde e il fumo è giallo, allora dobbiamo specificare la chiave seguente: p: l erba è verde q: il fumo è giallo S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 5 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 6 Rappresentazione in LP delle congiunzioni Un esempio Considerate ora di nuovo l enunciato (2): (2) L erba è verde e il fumo è giallo. Se è vero che l erba è verde ed è vero che il fumo è giallo, allora, evidentemente, (2) è vero. D altra, se è falso che l erba è verde o è falso che il fumo è giallo, allora (2) è evidentemente falso. Questo suggerisce che un enunciato della forma A e B (una congiunzione di due enunciati) sia vero in italiano se A e B (i congiunti) sono entrambi veri in italiano, altrimenti A e B è falso in italiano. In LP, esiste un connettivo la cui tavola di verità richiede che entrambe le formule che connette siano vere in LP, e cioè. Rappresenteremo dunque gli enunciati dell italiano della forma A e B (le congiunzioni di due enunciati) con formule di LP della forma A B. Enunciato italiano: L erba è verde e il fumo è giallo p : l erba è verde q : il fumo è giallo S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 7 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 8
3 Una riflessione Prima di procedere nella nostra discussione, riflettiamo un momento sul ragionamento che abbiamo fatto quando abbiamo deciso di rappresentare gli enunciati dell italiano della forma A e B con formule di LP della forma A B. Abbiamo detto che è plausibile adottare questa rappresentazione in quanto esiste una corrispondenza tra le condizioni di verità degli enunciati dell italiano della forma A e B e le formule di LP della forma A B : un enunciato della forma A e B è vero in italiano esattamente nel caso in cui entrambi gli enunciati connessi da e sono veri in italiano e una formula della forma A B è vera in LP esattamente nel caso in cui entrambe le formule connesse da sono vere in LP. In questo senso, possiamo dire che, rappresentando gli enunciati dell italiano della forma A e B con formule di LP della forma A B, abbiamo preservato le condizioni di verità degli enunciati italiani della forma A e B. Un criterio di correttezza per le rappresentazioni Nel ragionamento precedente, abbiamo dunque implicitamente fatto uso del criterio seguente per determinare la correttezza della rappresentazione in LP di un enunciato complesso dell italiano: una rappresentazione corretta in un linguaggio formale di un enunciato complesso dell italiano di una certa forma deve preservare le condizioni di verità degli enunciati italiani di quella forma. Possiamo formulare lo stesso requisito dicendo: i connettivi dell italiano devono essere rappresentati da connettivi del linguaggio formale che danno lo stesso contributo alle condizioni di verità delle formule complesse in cui occorrono. Sarà questo criterio a guidarci anche nel rappresentare enunciati italiani di altre forme. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 9 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 10 Discussione di una scelta La decisione di rappresentare e con richiede alcune precisazioni. Infatti, in alcuni casi e viene usato per connettere espressioni diverse da enunciati. Inoltre, ad un primo esame, potrebbe sembrare che esistano alcuni usi di e per connettere enunciati che non sono tradotti correttamente da. È necessario affrontare queste questioni prima di procedere. Congiunzione di espressioni diverse da enunciati Nel linguaggio LP, il connettivo collega tra loro delle formule, cioè si combina con due formule A e B per dar luogo a una nuova formula della forma (A B). In italiano, la congiunzione e può collegare tra loro degli enunciati per formare un enunciato complesso. Ma può anche collegare espressioni diverse da enunciati. Per esempio, mentre in (2) e collega degli enunciati, in (5) collega delle espressioni nominali ( Leo, Lia ), in (6) collega delle espressioni verbali ( fuma, beve ), in (7) collega delle espressioni aggettivali ( generoso, gentile ), e in (8) collega delle espressioni preposizionali ( a Milano, a Napoli ): (2) L erba è verde e fumo è giallo. (5) Leo e Lia corrono. (6) Leo fuma e beve. (7) Leo è generoso e gentile. (8) Leo va spesso a Milano e a Napoli. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 11 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 12
4 Riducibilità alla congiunzione di enunciati Corridori In (5) abbiamo una congiunzione di espressioni nominali. Ma (5) è equivalente alla congiunzione di enunciati in (9): È importante rendersi conto che, mentre alcune occorrenze di e che non connettono enunciati sono riducibili a congiunzioni di enunciati, altre non lo sono. Per questo motivo, nel far uso di per rappresentare e, dobbiamo esercitare una certa cautela. Vediamo alcuni esempi. (5) Leo e Lia corrono. (9) Leo corre e Lia corre. Dal momento che (5) è equivalente a (9), possiamo rappresentare (5) per mezzo di nel modo seguente: Enunciato italiano: Leo e Lia corrono p : Leo corre q : Lia corre S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 13 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 14 Gaudenti In (6) abbiamo una congiunzione di espressioni verbali. Analogamente al caso precedente, (6) è equivalente alla congiunzione di enunciati in (10): (6) Leo fuma e beve. (10) Leo fuma e Leo beve. Dal momento che (6) è equivalente a (10), possiamo rappresentare (6) per mezzo di nel modo seguente: Enunciato italiano : Leo fuma e beve Rappresentazione in LP : (p q) p : Leo fuma q : Leo beve Coppie Si consideri ora l enunciato seguente: (11) Mario e Maria sono una coppia. In questo caso, la congiunzione in (11) non è equivalente alla congiunzione di enunciati in (12): (12) Mario è una coppia e Maria è una coppia. Infatti, mentre (11) può essere vero in alcune circostanze, (12) è invece sicuramente falso, dal momento che nessun individuo singolo può essere una coppia. Per questa ragione, non è corretto rappresentare (11) per mezzo di nel modo seguente: Enunciato italiano: Mario e Maria sono una coppia p : Mario è una coppia q : Maria è una coppia S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 15 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 16
5 Altri gaudenti Morale Un problema analogo è posto dall enunciato (13). Questo enunciato non è equivalente alla congiunzione di enunciati in (14): (13) Alcuni uomini fumano e bevono. (14) Alcuni uomini fumano e alcuni uomini bevono. Infatti, l enunciato (14) è vero nel caso in cui alcuni uomini fumano e alcuni uomini bevono, ma nessun uomo fuma e beve. Invece, (13) è falso in questo caso. Per questa ragione, non è corretto rappresentare (13) così: Enunciato italiano: Alcuni uomini fumano e bevono p : Alcuni uomini fumano q : Alcuni uomini bevono La morale che dobbiamo trarre da queste osservazioni è dunque la seguente: quando, in un enunciato, e congiunge espressioni diverse da enunciati, non è sempre possibile usare per rappresentare l enunciato. Dobbiamo prima accertarci che l enunciato che contiene e sia equivalente alla congiunzione di due enunciati. Se lo è, allora possiamo rappresentare per mezzo di la congiunzione di due enunciati a cui è equivalente. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 17 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 18 Una questione residua Ok, ora sappiamo che (5) è rappresentabile in LP per mezzo del connettivo, mentre (11) e (13) no. (5) Leo e Lia corrono. (11) Mario e Maria sono una coppia. (13) Alcuni uomini fumano e bevono. Ma allora come dobbiamo rappresentare (11) e (13) in LP? Per rappresentare questi enunciati useremo semplicemente delle formule atomiche di LP. Congiunzione e ordine temporale Concentriamo ora la nostra attenzione sugli usi della congiunzione e per collegare enunciati. Nella discussione precedente, abbiamo assunto che, quando e collega enunciati, il suo significato è identico a quello di. Ma è corretta questa assunzione? Si consideri l enunciato seguente: Pare naturale affermare che (15) è vero esattamente nelle circostanze in cui (16) è vero: Se questa affermazione è corretta, tuttavia, c è un problema per la nostra assunzione che e in (15) è rappresentato correttamente da. Vediamo qual è. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 19 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 20
6 Il problema Se è corretto affermare che (15) è vero esattamente nelle circostanze in cui (16) è vero, la nostra decisione di rappresentare la congiunzione tra enunciati e con è sicuramente sbagliata: Infatti, se rappresentiamo e in (15) con, le condizioni di verità della rappresentazione di (15) in LP non dicono nulla sull ordine temporale in cui i congiunti sono veri: la formula (p q) è vera se p è vera e q è vera, non importa in quale ordine. Enunciato italiano: Camilla si è tolta le scarpe ed è saltata nel letto p : Camilla si è tolta le scarpe q : Camilla è saltata nel letto Mantenere la decisione A causa del problema di Camilla, dobbiamo dunque rivedere la nostra decisione di rappresentare il connettivo e (quando congiunge enunciati) con il connettivo? In realtà, contrariamente a quanto parrebbe in base al ragionamento precedente, è plausibile sostenere che il caso di Camilla non ci costringe affatto a tornare su questa decisione. Questo per almeno due ragioni. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 21 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 22 Prima ragione Seconda ragione In primo luogo, non è affatto chiaro che l ordine temporale suggerito da (15) dipenda dal contributo di e alle condizioni di verità di (15): Si noti infatti che esattamente lo stesso ordine temporale è suggerito dal discorso (17), in cui il connettivo e non appare: (17) Camilla si è tolta le scarpe. È saltata nel letto. In secondo luogo, contrariamente a quanto può sembrare a prima vista, non è affatto vero che (15) e (16) sono veri esattamente nelle stesse circostanze: Al contrario di (16), l enunciato (15) può essere vero anche nel caso in cui Camilla si è tolta le scarpe soltanto dopo essere saltata nel letto. Vediamo un esempio che ci mostra come questo sia possibile. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 23 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 24
7 Un esempio a sostegno Confrontate il discorso in (18) con il discorso in (19): (18) Ieri sera, Camilla ha fatto due cose quando è salita in camera: si è tolta le scarpe prima di saltare nel letto. Come al solito, però, si è tolta le scarpe solo dopo essere saltata nel letto. (19) Ieri sera, Camilla ha fatto due cose quando è salita in camera: si è tolta le scarpe ed è saltata nel letto. Come al solito, però, si è tolta le scarpe solo dopo essere saltata nel letto. Mentre (18) è chiaramente contraddittorio, è possibile affermare (19) senza contraddirsi. Questo significa che l enunciato (15), a differenza dell enunciato (16), può essere vero anche nel caso in cui Camilla si è tolta le scarpe soltanto dopo essere saltata nel letto: Conclusione Se (15) può essere vero anche nel caso in cui Camilla si è tolta le scarpe dopo essere saltata nel letto, dobbiamo concludere che le condizioni di verità associate alle congiunzioni dell italiano, così come le condizioni di verità associate a formule di LP in cui il connettivo principale è, non richiedono affatto che il primo congiunto sia vero prima del secondo congiunto. Possiamo dunque mantenere ferma la decisione di rappresentare e (quando collega enunciati) per mezzo di. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 25 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 26 Una questione aperta È chiaro che la discussione precedente, mentre ci consente di sostenere che rappresenta correttamente le occorrenze di e che collegano enunciati, lascia però aperta una questione. Abbiamo sostenuto che le condizioni di verità di (15) non richiedono che (16) sia vero: Resta il fatto che, se asseriamo (15), molto spesso la nostra asserzione suggerisce che l ordine degli eventi sia effettivamente quello descritto da (16). Come mai accade questo? Ordine temporale e ordine degli enunciati La ragione per cui, asserendo (15) suggeriamo che sia vero (16), potrebbe essere questa: ascoltando un discorso, è ragionevole assumere, in assenza di indicazioni contrarie, che il parlante esponga ordinatamente gli eventi che ci racconta. Per questa ragione, in assenza di indicazioni contrarie, assumiamo che l ordine in cui vengono asseriti gli enunciati nel discorso rifletta l ordine temporale degli eventi che essi descrivono. Questo spiegherebbe perché tendiamo a interpretare sia (15) che (17) come l affermazione che Camilla è saltata nel letto dopo essersi tolta le scarpe, benché questo non sia richiesto dalle condizioni di verità di (15) e (17): (17) Camilla si è tolta le scarpe. È saltata nel letto. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 27 S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 28
8 Condizioni verità e teoria della comunicazione È importante rendersi conto che il fenomeno evidenziato da (15) è parte di un fenomeno più generale: Il fatto che, asserendo un certo enunciato, possiamo suggerire qualcosa che non è richiesto dalle condizioni di verità di quell enunciato è una situazione che si verifica continuamente quando comunichiamo attraverso il linguaggio. Diciamo il treno parte tra pochi minuti! per suggerire Sei in ritardo!. Eppure le condizioni di verità di il treno parte tra pochi minuti! sono evidentemente diverse dalle condizioni di verità di Sei in ritardo!. Spiegare come sia possibile emettere un enunciato con certe condizioni di verità e suggerire qualcos altro è compito di una teoria della comunicazione. S. Zucchi: Filosofia del linguaggio 2014 Dall italiano a LP 29
Ascrizioni di credenza
Ascrizioni di credenza Ascrizioni di credenza Introduzione Sandro Zucchi 2014-15 Le ascrizioni di credenza sono asserzioni del tipo in (1): Da un punto di vista filosofico, i problemi che pongono asserzioni
DettagliConvertitori numerici in Excel
ISTITUTO DI ISTRUZIONE SUPERIORE G. M. ANGIOY CARBONIA Convertitori numerici in Excel Prof. G. Ciaschetti Come attività di laboratorio, vogliamo realizzare dei convertitori numerici con Microsoft Excel
Dettagli2. Semantica proposizionale classica
20 1. LINGUAGGIO E SEMANTICA 2. Semantica proposizionale classica Ritorniamo un passo indietro all insieme dei connettivi proposizionali che abbiamo utilizzato nella definizione degli enunciati di L. L
DettagliUNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA
UNA LEZIONE SUI NUMERI PRIMI: NASCE LA RITABELLA Tutti gli anni, affrontando l argomento della divisibilità, trovavo utile far lavorare gli alunni sul Crivello di Eratostene. Presentavo ai ragazzi una
Dettaglif(x) = 1 x. Il dominio di questa funzione è il sottoinsieme proprio di R dato da
Data una funzione reale f di variabile reale x, definita su un sottoinsieme proprio D f di R (con questo voglio dire che il dominio di f è un sottoinsieme di R che non coincide con tutto R), ci si chiede
DettagliErrori più comuni. nelle prove scritte
Errori più comuni nelle prove scritte Gli errori più frequenti, e reiterati da chi sostiene diverse prove, sono innanzi tutto meta-errori, cioè errori che non riguardano tanto l applicazione delle tecniche,
DettagliProof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme
G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero
DettagliALGEBRA DELLE PROPOSIZIONI
Università di Salerno Fondamenti di Informatica Corso di Laurea Ingegneria Corso B Docente: Ing. Giovanni Secondulfo Anno Accademico 2010-2011 ALGEBRA DELLE PROPOSIZIONI Fondamenti di Informatica Algebra
DettagliDall italiano alla logica proposizionale
Rappresentare l italiano in LP Dall italiano alla logica proposizionale Sandro Zucchi 2009-10 In questa lezione, vediamo come fare uso del linguaggio LP per rappresentare frasi dell italiano. Questo ci
Dettaglirisulta (x) = 1 se x < 0.
Questo file si pone come obiettivo quello di mostrarvi come lo studio di una funzione reale di una variabile reale, nella cui espressione compare un qualche valore assoluto, possa essere svolto senza necessariamente
DettagliAlgebra di Boole ed Elementi di Logica
Algebra di Boole ed Elementi di Logica 53 Cenni all algebra di Boole L algebra di Boole (inventata da G. Boole, britannico, seconda metà 8), o algebra della logica, si basa su operazioni logiche Le operazioni
DettagliAnno 1. Definizione di Logica e operazioni logiche
Anno 1 Definizione di Logica e operazioni logiche 1 Introduzione In questa lezione ci occuperemo di descrivere la definizione di logica matematica e di operazioni logiche. Che cos è la logica matematica?
DettagliCapitolo 2. Operazione di limite
Capitolo 2 Operazione di ite In questo capitolo vogliamo occuparci dell operazione di ite, strumento indispensabile per scoprire molte proprietà delle funzioni. D ora in avanti riguarderemo i domini A
DettagliLezione 9: Cambio di base
Lezione 9: Cambio di base In questa lezione vogliamo affrontare uno degli argomenti piu ostici per lo studente e cioè il cambio di base all interno di uno spazio vettoriale, inoltre cercheremo di capire
DettagliStatistica e biometria. D. Bertacchi. Variabili aleatorie. V.a. discrete e continue. La densità di una v.a. discreta. Esempi.
Iniziamo con definizione (capiremo fra poco la sua utilità): DEFINIZIONE DI VARIABILE ALEATORIA Una variabile aleatoria (in breve v.a.) X è funzione che ha come dominio Ω e come codominio R. In formule:
DettagliAlcune nozioni di base di Logica Matematica
Alcune nozioni di base di Logica Matematica Ad uso del corsi di Programmazione I e II Nicola Galesi Dipartimento di Informatica Sapienza Universitá Roma November 1, 2007 Questa é una breve raccolta di
DettagliAPPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI
APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI Indice 1 Le frazioni algebriche 1.1 Il minimo comune multiplo e il Massimo Comun Divisore fra polinomi........ 1. Le frazioni algebriche....................................
DettagliLezioni di Matematica 1 - I modulo
Lezioni di Matematica 1 - I modulo Luciano Battaia 16 ottobre 2008 Luciano Battaia - http://www.batmath.it Matematica 1 - I modulo. Lezione del 16/10/2008 1 / 13 L introduzione dei numeri reali si può
DettagliLEZIONE 23. Esempio 23.1.3. Si consideri la matrice (si veda l Esempio 22.2.5) A = 1 2 2 3 3 0
LEZIONE 23 231 Diagonalizzazione di matrici Abbiamo visto nella precedente lezione che, in generale, non è immediato che, data una matrice A k n,n con k = R, C, esista sempre una base costituita da suoi
Dettagli1.6 Che cosa vede l astronomo
1.6 Che cosa vede l astronomo Stelle in rotazione Nel corso della notte, la Sfera celeste sembra ruotare attorno a noi. Soltanto un punto detto Polo nord celeste resta fermo; esso si trova vicino a una
DettagliPLIDA Progetto Lingua Italiana Dante Alighieri Certificazione di competenza in lingua italiana
PLIDA Progetto Lingua Italiana Dante Alighieri Certificazione di competenza in lingua italiana giugno 2011 PARLARE Livello MATERIALE PER L INTERVISTATORE 2 PLIDA Progetto Lingua Italiana Dante Alighieri
DettagliLA RETTA. Retta per l'origine, rette orizzontali e verticali
Retta per l'origine, rette orizzontali e verticali LA RETTA Abbiamo visto che l'equazione generica di una retta è del tipo Y = mx + q, dove m ne rappresenta la pendenza e q il punto in cui la retta incrocia
DettagliAppunti di informatica. Lezione 2 anno accademico 2015-2016 Mario Verdicchio
Appunti di informatica Lezione 2 anno accademico 2015-2016 Mario Verdicchio Sistema binario e logica C è un legame tra i numeri binari (0,1) e la logica, ossia la disciplina che si occupa del ragionamento
Dettagli4 3 4 = 4 x 10 2 + 3 x 10 1 + 4 x 10 0 aaa 10 2 10 1 10 0
Rappresentazione dei numeri I numeri che siamo abituati ad utilizzare sono espressi utilizzando il sistema di numerazione decimale, che si chiama così perché utilizza 0 cifre (0,,2,3,4,5,6,7,8,9). Si dice
DettagliOSSERVAZIONI TEORICHE Lezione n. 4
OSSERVAZIONI TEORICHE Lezione n. 4 Finalità: Sistematizzare concetti e definizioni. Verificare l apprendimento. Metodo: Lettura delle OSSERVAZIONI e risoluzione della scheda di verifica delle conoscenze
Dettaglix u v(p(x, fx) q(u, v)), e poi
0.1. Skolemizzazione. Ogni enunciato F (o insieme di enunciati Γ) è equisoddisfacibile ad un enunciato universale (o insieme di enunciati universali) in un linguaggio estensione del linguaggio di F (di
DettagliPuò la descrizione quantomeccanica della realtà fisica considerarsi completa?
Può la descrizione quantomeccanica della realtà fisica considerarsi completa? A. Einstein, B. Podolsky, N. Rosen 25/03/1935 Abstract In una teoria completa c è un elemento corrispondente ad ogni elemento
DettagliAutismo e teoria della mente
Spiegare l autismo Università degli Studi di Milano Autismo e teoria della mente Sandro Zucchi All inizio degli anni 80, Baron-Cohen, Leslie e Frith hanno condotto un esperimento per determinare il meccanismo
DettagliElementi di Psicometria con Laboratorio di SPSS 1
Elementi di Psicometria con Laboratorio di SPSS 1 12-Il t-test per campioni appaiati vers. 1.2 (7 novembre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università di Milano-Bicocca
DettagliFISICA. Le forze. Le forze. il testo: 2011/2012 La Semplificazione dei Testi Scolastici per gli Alunni Stranieri IPSIA A.
01 In questa lezione parliamo delle forze. Parliamo di forza quando: spostiamo una cosa; solleviamo un oggetto; fermiamo una palla mentre giochiamo a calcio; stringiamo una molla. Quando usiamo (applichiamo)
DettagliDispense di Filosofia del Linguaggio
Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.
DettagliPredicati e Quantificatori
Predicati e Quantificatori Limitazioni della logica proposizionale! Logica proposizionale: il mondo è descritto attraverso proposizioni elementari e loro combinazioni logiche! I singoli oggetti cui si
DettagliIniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:
Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora: G.C.D.( a d, b d ) = 1 Sono state introdotte a lezione due definizioni importanti che ricordiamo: Definizione
DettagliMacroeconomia, Esercitazione 2. 1 Esercizi. 1.1 Moneta/1. 1.2 Moneta/2. 1.3 Moneta/3. A cura di Giuseppe Gori (giuseppe.gori@unibo.
acroeconomia, Esercitazione 2. A cura di Giuseppe Gori (giuseppe.gori@unibo.it) 1 Esercizi. 1.1 oneta/1 Sapendo che il PIL reale nel 2008 è pari a 50.000 euro e nel 2009 a 60.000 euro, che dal 2008 al
Dettagli1. PRIME PROPRIETÀ 2
RELAZIONI 1. Prime proprietà Il significato comune del concetto di relazione è facilmente intuibile: due elementi sono in relazione se c è un legame tra loro descritto da una certa proprietà; ad esempio,
Dettagli1 Applicazioni Lineari tra Spazi Vettoriali
1 Applicazioni Lineari tra Spazi Vettoriali Definizione 1 (Applicazioni lineari) Si chiama applicazione lineare una applicazione tra uno spazio vettoriale ed uno spazio vettoriale sul campo tale che "!$%!
DettagliInsegnare le abilità sociali con la carta a T. ins. Fabrizia Monfrino
Insegnare le abilità sociali con la carta a T ins. Fabrizia Monfrino Scuola: I circolo di Giaveno (To) Classe: trasversale Anno scolastico: 2003/2004 Insegnare le abilità sociali con l uso della carta
DettagliREVISIONE-CORREZIONE. La Revisione è un momento molto importante nel processo della produzione scritta.
REVISIONE-CORREZIONE La Revisione è un momento molto importante nel processo della produzione scritta. Il termine viene dato ai ragazzi verso la quarta, ma in realtà dovrebbe essere considerata parte integrante
DettagliObiettivo Principale: Spiegare come la stessa cosa possa essere realizzata in molti modi diversi e come, a volte, ci siano modi migliori di altri.
6 LEZIONE: Algoritmi Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10-25 Minuti (a seconda che tu abbia dei Tangram disponibili o debba tagliarli a mano) Obiettivo Principale: Spiegare come
DettagliProbabilità discreta
Probabilità discreta Daniele A. Gewurz 1 Che probabilità c è che succeda...? Una delle applicazioni della combinatoria è nel calcolo di probabilità discrete. Quando abbiamo a che fare con un fenomeno che
DettagliS- magari si potrebbe dire la prima riga, la seconda riga UNITÀ DIDATTICA: TESTO POETICO. Obiettivi
UNITÀ DIDATTICA: TESTO POETICO Obiettivi - Confrontare due testi poetici - Trovare le differenze e le somiglianze - Osservare le differenze e coglierne le caratteristiche. ATTIVITÀ L argomento presentato
DettagliSemantica Assiomatica
Semantica Assiomatica Anche nella semantica assiomatica, così come in quella operazionale, il significato associato ad un comando C viene definito specificando la transizione tra stati (a partire, cioè,
Dettagli9. Urti e conservazione della quantità di moto.
9. Urti e conservazione della quantità di moto. 1 Conservazione dell impulso m1 v1 v2 m2 Prima Consideriamo due punti materiali di massa m 1 e m 2 che si muovono in una dimensione. Supponiamo che i due
DettagliPolitecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria).
Politecnico di Milano. Facoltà di Ingegneria Industriale. Corso di Analisi e Geometria 2. Sezione D-G. (Docente: Federico Lastaria). Aprile 20 Indice Serie numeriche. Serie convergenti, divergenti, indeterminate.....................
DettagliMONTI E IL SUO FUTURO. SI CANDIDA O NON SI CANDIDA?
237 i dossier www.freefoundation.com MONTI E IL SUO FUTURO. SI CANDIDA O NON SI CANDIDA? 11 dicembre 2012 a cura di Renato Brunetta Monti assicura che non si candiderà 19 novembre 2011 2 Durante la conferenza
DettagliSOMMARIO. 13.1 I radicali pag. 3. 13.2 I radicali aritmetici pag. 5. 13.3 Moltiplicazione e divisione fra radicali aritmetici pag.
SOMMARIO CAPITOLO : I RADICALI. I radicali pag.. I radicali aritmetici pag.. Moltiplicazione e divisione fra radicali aritmetici pag.. Potenza di un radicale aritmetico pag.. Trasporto di un fattore esterno
DettagliInteresse composto con Mathcad
Interesse composto con Mathcad Quando si depositano soldi su un conto in banca questi fruttano interessi: soldi che la banca paga per l'uso dei tuoi soldi in un periodo di tempo. Se si lasciano i soldi
DettagliCorso di Informatica
Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down
DettagliUna proposizione è una affermazione di cui si possa stabilire con certezza il valore di verità
Logica 1. Le roosizioni 1.1 Cosa studia la logica? La logica studia le forme del ragionamento. Si occua cioè di stabilire delle regole che ermettano di assare da un'affermazione vera ad un'altra affermazione
DettagliCorrispondenze e funzioni
Corrispondenze e funzioni L attività fondamentale della mente umana consiste nello stabilire corrispondenze e relazioni tra oggetti; è anche per questo motivo che il concetto di corrispondenza è uno dei
DettagliMetodi statistici per l economia (Prof. Capitanio) Slide n. 9. Materiale di supporto per le lezioni. Non sostituisce il libro di testo
Metodi statistici per l economia (Prof. Capitanio) Slide n. 9 Materiale di supporto per le lezioni. Non sostituisce il libro di testo 1 TEST D IPOTESI Partiamo da un esempio presente sul libro di testo.
DettagliElementi di Psicometria con Laboratorio di SPSS 1
Elementi di Psicometria con Laboratorio di SPSS 1 10-Il test t per un campione e la stima intervallare (vers. 1.1, 25 ottobre 2015) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia,
DettagliIndice. 1 Il monitoraggio del progetto formativo --------------------------------------------------------------- 3. 2 di 6
LEZIONE MONITORARE UN PROGETTO FORMATIVO. UNA TABELLA PROF. NICOLA PAPARELLA Indice 1 Il monitoraggio del progetto formativo --------------------------------------------------------------- 3 2 di 6 1 Il
DettagliLe parole e le cose - Correttore
Le parole e le cose - Correttore 5 10 15 20 25 Le cose di per sé 1 non hanno nessun nome. Sono gli uomini che hanno dato e continuano a dare i nomi ad esse. Di solito non ci accorgiamo di questa verità
DettagliLogica Numerica Approfondimento 1. Minimo Comune Multiplo e Massimo Comun Divisore. Il concetto di multiplo e di divisore. Il Minimo Comune Multiplo
Logica Numerica Approfondimento E. Barbuto Minimo Comune Multiplo e Massimo Comun Divisore Il concetto di multiplo e di divisore Considerato un numero intero n, se esso viene moltiplicato per un numero
DettagliDispense di Informatica per l ITG Valadier
La notazione binaria Dispense di Informatica per l ITG Valadier Le informazioni dentro il computer All interno di un calcolatore tutte le informazioni sono memorizzate sottoforma di lunghe sequenze di
DettagliAlgebra booleana. Si dice enunciato una proposizione che può essere soltanto vera o falsa.
Algebra booleana Nel lavoro di programmazione capita spesso di dover ricorrere ai principi della logica degli enunciati e occorre conoscere i concetti di base dell algebra delle proposizioni. L algebra
DettagliMetodologie di programmazione in Fortran 90
Metodologie di programmazione in Fortran 90 Ing. Luca De Santis DIS - Dipartimento di informatica e sistemistica Anno accademico 2007/2008 Fortran 90: Metodologie di programmazione DIS - Dipartimento di
DettagliLOGICA PER LA PROGRAMMAZIONE. Franco Turini turini@di.unipi.it
LOGICA PER LA PROGRAMMAZIONE Franco Turini turini@di.unipi.it IPSE DIXIT Si consideri la frase: in un dato campione di pazienti, chi ha fatto uso di droghe pesanti ha utilizzato anche droghe leggere. Quali
Dettagli2. Leggi finanziarie di capitalizzazione
2. Leggi finanziarie di capitalizzazione Si chiama legge finanziaria di capitalizzazione una funzione atta a definire il montante M(t accumulato al tempo generico t da un capitale C: M(t = F(C, t C t M
Dettaglib. Che cosa succede alla frazione di reddito nazionale che viene risparmiata?
Esercitazione 7 Domande 1. L investimento programmato è pari a 100. Le famiglie decidono di risparmiare una frazione maggiore del proprio reddito e la funzione del consumo passa da C = 0,8Y a C = 0,5Y.
DettagliRappresentare i nessi logici con gli insiemi
Rappresentare i nessi logici con gli insiemi È un operazione molto utile in quesiti come quello nell Esempio 1, in cui gruppi di persone o cose vengono distinti in base a delle loro proprietà. Un elemento
DettagliCapitolo II. La forma del valore. 7. La duplice forma in cui si presenta la merce: naturale e di valore.
Capitolo II La forma del valore 7. La duplice forma in cui si presenta la merce: naturale e di valore. I beni nascono come valori d uso: nel loro divenire merci acquisiscono anche un valore (di scambio).
DettagliLA MOLTIPLICAZIONE IN CLASSE SECONDA
LA MOLTIPLICAZIONE IN CLASSE SECONDA Rossana Nencini, 2013 Le fasi del lavoro: 1. Proponiamo ai bambini una situazione reale di moltiplicazione: portiamo a scuola una scatola di biscotti (. ) e diamo la
DettagliSoluzione degli esercizi sul moto rettilineo uniformemente accelerato
Liceo Carducci Volterra - Classe 3 a B Scientifico - Francesco Daddi - 8 novembre 00 Soluzione degli esercizi sul moto rettilineo uniformemente accelerato Esercizio. Un corpo parte da fermo con accelerazione
DettagliSCUOLA DELL INFANZIA S. PIERO
ISTITUZIONE SCOLASTICA AUTONOMA DI AGLIANA SCUOLA DELL INFANZIA DI S. PIERO SCUOLA DELL INFANZIA S. PIERO Insegnanti: Cioli Elvira Gabellini Roberta Innocenti Daniela M.Laura IL TRENO DEI COMPLEANNI PRESENTAZIONE:
DettagliEsercizi sul moto rettilineo uniformemente accelerato
Liceo Carducci Volterra - Classe 3 a B Scientifico - Francesco Daddi - 8 novembre 010 Esercizi sul moto rettilineo uniformemente accelerato Esercizio 1. Un corpo parte da fermo con accelerazione pari a
DettagliGERARCHIA IS-A (è un) GENERALIZZAZIONI / SPECIALIZZAZIONI ESEMPIO 1
GRARCHIA IS-A (è un) GNRALIZZAZIONI / SPCIALIZZAZIONI SMPIO 1 Consideriamo il fatto che, in una compagnia aerea, si abbia l entità relativa ai membri dell equipaggio, MMBRI_QUIPAGGIO (Kme,Cogn.,Nome,tà),
DettagliObiettivo Principale: Aiutare gli studenti a capire cos è la programmazione
4 LEZIONE: Programmazione su Carta a Quadretti Tempo della lezione: 45-60 Minuti. Tempo di preparazione: 10 Minuti Obiettivo Principale: Aiutare gli studenti a capire cos è la programmazione SOMMARIO:
DettagliEsercitazione. Proposizioni. April 16, 2015. Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1.
Esercitazione Proposizioni April 16, 2015 Esercizi presi dal libro di Rosen (useremo 0 per False e 1 per True). Problema 15, sezione 1.1. 1. Consideriamo le proposizioni: - p : Gli orsi grizzly sono stati
DettagliOsservazioni sulla continuità per le funzioni reali di variabile reale
Corso di Matematica, I modulo, Università di Udine, Osservazioni sulla continuità Osservazioni sulla continuità per le funzioni reali di variabile reale Come è noto una funzione è continua in un punto
DettagliPresentazione. Obiettivi dell area «Modelli mentali»
Presentazione In queste schede scoprirai alcuni meccanismi che si mettono in funzione quando cerchi di comprendere un testo. Un lettore esperto infatti è in grado di estrarre dal testo le informazioni
DettagliL'impulso di una forza che varia nel tempo
Lezione 13 approfondimento pag.1 L'impulso di una forza che varia nel tempo Un riassunto di quel che sappiamo Riprendiamo in esame il solito carrellino che si trova sopra la rotaia a basso attrito. Se
DettagliDr. Siria Rizzi 2013 - NLP Trainer ABNLP DEFINIZIONE DI PNL
DEFINIZIONE DI PNL Programmazione: Neuro: L abilità di scoprire e utilizzare i programmi che facciamo funzionare (la comunicazione con noi e con gli altri) nel nostro sistema neurologico per ottenere obiettivi
DettagliPSICOLOGIA. La ricerca nelle scienze sociali. Le tecniche di rilevazione dei dati. L'osservazione. il testo:
il testo: 01 Le tecniche di rilevazione dei dati Le principali tecniche di raccolta dei dati si dividono in: tecniche descrittive: il ricercatore osserva ciò che sta studiando. Sono tecniche descrittive
DettagliElementi di Psicometria con Laboratorio di SPSS 1
Elementi di Psicometria con Laboratorio di SPSS 1 29-Analisi della potenza statistica vers. 1.0 (12 dicembre 2014) Germano Rossi 1 germano.rossi@unimib.it 1 Dipartimento di Psicologia, Università di Milano-Bicocca
Dettagli2. Fabula e intreccio
2. Fabula e intreccio Abbiamo detto che un testo narrativo racconta una storia. Ora dobbiamo però precisare, all interno della storia, ciò che viene narrato e il modo in cui viene narrato. Bisogna infatti
DettagliLIBO' L'ITALIANO ALLA RADIO
LIBO' L'ITALIANO ALLA RADIO ESERCIZI PUNTATA N. 3 LA SCUOLA CORSI DI ITALIANO PER STRANIERI A cura di Marta Alaimo Voli Società Cooperativa - 2011 DIALOGO PRINCIPALE A- Buongiorno. B- Buongiorno, sono
DettagliSiamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.
DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti
DettagliLa prof.ssa SANDRA VANNINI svolge da diversi anni. questo percorso didattico sulle ARITMETICHE FINITE.
La prof.ssa SANDRA VANNINI svolge da diversi anni questo percorso didattico sulle ARITMETICHE FINITE. La documentazione qui riportata è ricavata dalla trascrizione dei lucidi che vengono prodotti dall
DettagliFunzioni funzione dominio codominio legge argomento variabile indipendente variabile dipendente
Funzioni In matematica, una funzione f da X in Y consiste in: 1. un insieme X detto dominio di f 2. un insieme Y detto codominio di f 3. una legge che ad ogni elemento x in X associa uno ed un solo elemento
DettagliLe funzioni continue. A. Pisani Liceo Classico Dante Alighieri A.S. 2002-03. A. Pisani, appunti di Matematica 1
Le funzioni continue A. Pisani Liceo Classico Dante Alighieri A.S. -3 A. Pisani, appunti di Matematica 1 Nota bene Questi appunti sono da intendere come guida allo studio e come riassunto di quanto illustrato
DettagliProdotto libero di gruppi
Prodotto libero di gruppi 24 aprile 2014 Siano (A 1, +) e (A 2, +) gruppi abeliani. Sul prodotto cartesiano A 1 A 2 definiamo l operazione (x 1, y 1 ) + (x 2, y 2 ) := (x 1 + x 2, y 1 + y 2 ). Provvisto
DettagliEsercitazione #5 di Statistica. Test ed Intervalli di Confidenza (per una popolazione)
Esercitazione #5 di Statistica Test ed Intervalli di Confidenza (per una popolazione) Dicembre 00 1 Esercizi 1.1 Test su media (con varianza nota) Esercizio n. 1 Il calore (in calorie per grammo) emesso
DettagliIl seguente esempio ha lo scopo di illustrare i 3 tipi di relazione 1:1,1:N,N:N. Tabella Conto: Tabella Conto:
Il seguente esempio ha lo scopo di illustrare i 3 tipi di relazione 1:1,1:N,N:N. Tabella Conto: Tabella Conto: Tabella Cliente: Tabella NumTel: Tabella Dati_Cliente: L'esempio è per ragioni di chiarezza
DettagliCalcolatori: Algebra Booleana e Reti Logiche
Calcolatori: Algebra Booleana e Reti Logiche 1 Algebra Booleana e Variabili Logiche I fondamenti dell Algebra Booleana (o Algebra di Boole) furono delineati dal matematico George Boole, in un lavoro pubblicato
DettagliMICROECONOMIA La teoria del consumo: Alcuni Arricchimenti. Enrico Saltari Università di Roma La Sapienza
MICROECONOMIA La teoria del consumo: Alcuni Arricchimenti Enrico Saltari Università di Roma La Sapienza 1 Dotazioni iniziali Il consumatore dispone ora non di un dato reddito monetario ma di un ammontare
DettagliRisoluzione. Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005
Risoluzione Eric Miotto Corretto dal prof. Silvio Valentini 15 giugno 2005 1 Risoluzione Introdurremo ora un metodo per capire se un insieme di formule è soddisfacibile o meno. Lo vedremo prima per insiemi
DettagliUnità 20. La legge sul ricongiungimento familiare. Lavoriamo sulla comprensione. Università per Stranieri di Siena Livello A2
Unità 20 La legge sul ricongiungimento familiare In questa unità imparerai: a comprendere testi che danno informazioni sulla legge per il ricongiungimento familiare parole relative alle leggi sull immigrazione
DettagliLa Logica Proposizionale. (Algebra di Boole)
1 ISTITUTO DI ISTRUZIONE SUPERIORE ANGIOY La Logica Proposizionale (Algebra di Boole) Prof. G. Ciaschetti 1. Cenni storici Sin dagli antichi greci, la logica è intesa come lo studio del logos, che in greco
DettagliUniversità per Stranieri di Siena Livello 1
Unità 4 In farmacia In questa unità imparerai: a comprendere testi che danno informazioni su dove comprare i medicinali parole relative alla farmacia e all uso corretto dei farmaci l uso dei verbi servili
DettagliSemantica operazionale dei linguaggi di Programmazione
Semantica operazionale dei linguaggi di Programmazione Oggetti sintattici e oggetti semantici Rosario Culmone, Luca Tesei Lucidi tratti dalla dispensa Elementi di Semantica Operazionale R. Barbuti, P.
DettagliModulo didattico sulla misura di grandezze fisiche: la lunghezza
Modulo didattico sulla misura di grandezze fisiche: la lunghezza Lezione 1: Cosa significa confrontare due lunghezze? Attività n 1 DOMANDA N 1 : Nel vostro gruppo qual è la matita più lunga? DOMANDA N
DettagliRegole del gioco UNO CONTENUTO DELLA CONFEZIONE: 108 Carte così distribuite: 19 Carte di colore Rosso che vanno dallo 0 al 9
Regole del gioco UNO CONTENUTO DELLA CONFEZIONE: 108 Carte così distribuite: 19 Carte di colore Rosso che vanno dallo 0 al 9 19 Carte di colore Blu che vanno dallo 0 al 9 19 Carte di colore Giallo che
DettagliGOLDEN GROUP. The Life Living Company
GOLDEN GROUP The Life Living Company Le 5 domande per chiudere una vendita Ti interessano? Allora seguimi con molta attenzione Domanda N.1 In base a quali criteri scegliete un fornitore o un Partner? Domanda
DettagliRaccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 1 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata, Matematica
DIPARTIMENTO DI MATEMATICA Università degli Studi di Trento Via Sommarive - Povo (TRENTO) Raccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 1 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata,
DettagliIl principio di induzione e i numeri naturali.
Il principio di induzione e i numeri naturali. Il principio di induzione è un potente strumento di dimostrazione, al quale si ricorre ogni volta che si debba dimostrare una proprietà in un numero infinito
DettagliG3. Asintoti e continuità
G3 Asintoti e continuità Un asintoto è una retta a cui la funzione si avvicina sempre di più senza mai toccarla Non è la definizione formale, ma sicuramente serve per capire il concetto di asintoto Nei
DettagliESEMPIO 1: eseguire il complemento a 10 di 765
COMPLEMENTO A 10 DI UN NUMERO DECIMALE Sia dato un numero N 10 in base 10 di n cifre. Il complemento a 10 di tale numero (N ) si ottiene sottraendo il numero stesso a 10 n. ESEMPIO 1: eseguire il complemento
Dettagli