I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 3 febbraio 2011
|
|
- Annunziata Fedele
- 5 anni fa
- Visualizzazioni
Transcript
1 I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 3 febbraio
2 2
3 Aldo, Giovanni e Giacomo, indagati per un reato, vengono interrogati. Aldo dichiara: Sono colpevole. Giovanni dichiara: Il colpevole è Aldo Giacomo dichiara: Non sono colpevole. La polizia sa per certo che il colpevole del reato mente, e almeno uno dei non colpevoli dice il vero. Allora, (A) Il colpevole è Aldo (B) Il colpevole è Giovanni (C) Il colpevole è Giacomo (D) non possibile determinare la risposta con certezza. 3
4 Cos è un paradosso? Commenti Test 1 E paradossale che Aldo dica: sono colpevole? No! Dire il falso non significa essere colpevole A colpevole A mente A mente e si dichiara colpevole A innocente Concludiamo che A è innocente Consecuzio Mirabilis: (ϕ non(ϕ)) non(ϕ) 4
5 Bob dice di adorare i gelati. I gelati sono dolci, e chi adora i gelati adora anche i limoni. Allora: (A) Bob adora tutti i dolci (B) Bob adora tutti i dolci, soprattutto se mangiati insieme ai limoni (C) Chi adora i gelati, adora i dolci (D) Bob adora i limoni 5
6 Commenti Test 2 Bob dice di adorare i gelati. I gelati sono dolci, e chi adora i gelati adora anche i limoni. Allora: A) Bob adora tutti i dolci... NO C) Chi adora i gelati, adora i dolci... NO D) Bob adora i limoni... SI Osservazione: la seconda informazione è superflua A cosa serve? A dare credibilità alla risposte A e C 6
7 Vito e Franco dicono sempre rispettivamente il vero e il falso. Mario invece dice a volte il vero e a volte il falso. X e Y due di questi tre signori dicono rispettivamente io sono Franco e io sono Mario. Allora a) non si può sapere chi sono X e Y b) X è Mario e Y è Franco c) X è Franco e Y è Mario d) X è Mario e Y è Vito 7
8 Osservazioni: Commenti Test 3 Risposta data per esclusione: attenzione alla risposta non si può dire Soluzione interessante: Vito non può essere X o Y Attenzione alla distinzione tra risposta possibile e risposta necessariamente vera 8
9 La negazione della frase can che abbaia non morde è A) tutti i cani che abbaiano mordono B) c è almeno un cane che abbaia e morde C) c è almeno un cane che non abbaia e morde D) c è almeno un cane che non abbaia e non morde 9
10 Osservazioni: Commenti Test 4 Tutti si accorgono che can che... è un universale: tutti i cani che abbaiano non mordono Quindi la negazione sarà un esistenziale c ( c abbaia non (c morde) ) se negato diventa c non ( c abbaia non (c morde) ) c ( c abbaia e c morde ) 10
11 La negazione della frase tutti sono ricchi e almeno uno non è felice è A) nessuno è ricco e almeno uno è felice B) qualcuno è ricco oppure nessuno è felice C) qualcuno non è ricco oppure tutti sono felici D) esiste almeno uno non ricco e felice 11
12 Osservazioni: Commenti Test 5 Viene osservato che nessuno non è la negazione di tutti e che la negazione di e è o L esercizio si presta bene alla formalizzazione x ( x è ricco ) e y ( y non è felice) se negato diventa x ( x non è ricco ) oppure y non ( y non è felice) x ( x non è ricco ) oppure y ( y è felice) 12
13 Mario dice alternativamente il vero e il falso (cioè ogni sua affermazione vera è seguita da una falsa, e viceversa). Quale delle seguenti affermazioni è attribuibile a Mario? A) La mia precedente affermazione è vera B) La mia precedente affermazione è falsa C) Questa mia affermazione è falsa D) La mia prossima affermazione sarà vera 13
14 Osservazioni: Commenti Test 6 Molti hanno notato il paradosso nella risposta C Affermazione attribuibile : dobbiamo guardare le risposte impossibili Dobbiamo sempre considerare i due casi: dice il vero, dice il falso Osservare che le risposte A e D si trattano allo stesso modo 14
15 Se i bugiardi sono disonesti e i bugiardi sono uomini allora A) tutti gli uomini sono disonesti B) alcuni uomini sono disonesti C) i bugiardi sono disonesti D) alcuni bugiardi sono disonesti 15
16 Commenti Test 7 Se i bugiardi sono disonesti e i bugiardi sono uomini allora B) alcuni uomini sono disonesti D) alcuni bugiardi sono disonesti E se per magia scomparissero tutti i bugiardi? tutti gli uomini con tre teste mangiano chiodi è vera? Sì, provate a falsificarla! Ma da quella affermazione non possiamo dedurre che alcuni uomini con tre teste mangiano chiodi 16
17 Commenti Test 7 Se i bugiardi sono disonesti e i bugiardi sono uomini allora B) alcuni uomini sono disonesti D) alcuni bugiardi sono disonesti Quale ulteriore ipotesi servirebbe per rendere vere B e D? l ipotesi che esistono dei bugiardi e in tal caso B e D sarebbero entrambe vere 17
18 Commenti Test 7 Se i bugiardi sono disonesti e i bugiardi sono uomini allora A) tutti gli uomini sono disonesti C) i bugiardi sono disonesti A è ovviamente falsa C deriva da una deduzione vuota. Ciò non impedisce che sia la risposta corretta. 18
19 Se alcune biciclette hanno il cambio allora A) ci sono biciclette senza cambio B) non ci sono biciclette senza cambio C) tutte le biciclette hanno il cambio D) non tutte le biciclette sono senza cambio 19
20 Commenti Test 8 Se alcune biciclette hanno il cambio allora A) ci sono biciclette senza cambio Solito conflitto B) non ci sono biciclette senza cambio C) tutte le biciclette hanno il cambio Sono equivalenti e ovviamente sbagliate D) non tutte le biciclette sono senza cambio OK Qualcuno ha osservato che ripete la prima affermazione. E grave? NO 20
21 Giovanna ha deciso che domani indosserà una maglietta e, se sarà bel tempo, questa sarà di colore verde. Se l'indomani il tempo sarà brutto, dalla decisione di Giovanna si può dedurre che (a) la maglietta potrà avere un colore qualsiasi; (b) la maglietta sarà rossa; (c) la maglietta non sarà verde; (d) nessuna delle precedenti possibilità è corretta. 21
22 Commenti Test 9 (a) la maglietta potrà avere un colore qualsiasi; (b) la maglietta sarà rossa; (c) la maglietta non sarà verde; sono tutte situazioni possibili ma dalle premesse possiamo dedurre solo la (a) 22
23 2 Si consideri l equazione x + 2x + a = 0 e la condizione a 0 a) la condizione è necessaria, ma non sufficiente, affinché l equazione abbia due soluzioni distinte; b) la condizione è sufficiente, ma non necessaria, affinché l equazione abbia due soluzioni distinte; c) la condizione è necessaria e sufficiente affinché l equazione abbia due soluzioni distinte; d) la condizione non è né necessaria né sufficiente affinché l equazione abbia due soluzioni distinte. 23
24 Commenti Test 10 Test generalmente capito 2 x + 2x + a = 0 a 0 la condizione è sufficiente, ma non necessaria, affinché l equazione abbia due soluzioni distinte (si intende reali) con 0 < a < 1 abbiamo ancora due sol. distinte 24
25 Si consideri l equazione x 2 + ax + 3 = 0 e la condizione a = 2 3 a) la condizione è necessaria, ma non sufficiente, affinché l equazione abbia un unica soluzione; b) la condizione è sufficiente, ma non necessaria, affinché l equazione abbia un unica soluzione; c) la condizione è necessaria e sufficiente affinché l equazione abbia un unica soluzione; d) la condizione non è né necessaria né sufficiente affinché l equazione abbia un unica soluzione. 25
26 Commenti Test 11 Test generalmente capito 2 x + ax + 3 = 0 a = 2 3 la condizione è sufficiente, ma non necessaria, affinché l equazione abbia un unica soluzione con a = 2 3 abbiamo ancora un unica soluzione 26
27 Si consideri il triangolo ABC, la sua altezza AH, e la condizione che i triangoli ABH e ACH siano simili. a) la condizione è necessaria, ma non sufficiente, affinché ABC sia rettangolo; b) la condizione è sufficiente, ma non necessaria, affinché ABC sia rettangolo; c) la condizione è necessaria e sufficiente affinché ABC sia rettangolo; d) la condizione non è né necessaria né sufficiente affinché ABC sia rettangolo. 27
28 Commenti Test 12 A La condizione che ABH sia simile a AHC non è sufficiente affinché ABC sia rettangolo B H C H C Il triangolo ACH è un solo segmento A B La condizione che ABH sia simile a AHC non è necessaria affinché ABC sia rettangolo 28
29 Si consideri il triangolo ABC, la sua altezza AH, e la condizione che i triangoli ABH e ACH siano simili. a) la condizione è necessaria, ma non sufficiente, affinché ABC sia rettangolo in A; b) la condizione è sufficiente, ma non necessaria, affinché ABC sia rettangolo in A; c) la condizione è necessaria e sufficiente affinché ABC sia rettangolo in A; d) la condizione non è né necessaria né sufficiente affinché ABC sia rettangolo in A. 29
30 Commenti Test 12 A B H C La condizione che ABH sia simile a AHC è necessaria affinché ABC sia rettangolo in A 30
I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco 19 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco 19 aprile 2016 1 Lettura interessante V. Villani, C. Bernardi, S. Zoccante, R. Porcaro, Non
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
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
DettagliEsercizio 2. Spiegare perché è falsa la seguente affermazione: Se n è un numero negativo, allora anche n + 3 è negativo.
Sapienza Università di Roma - Facoltà I3S Corso di Laurea in Statistica Economia Finanza e Assicurazioni Corso di Laurea in Statistica Economia e Società Corso di Laurea in Statistica gestionale Matematica
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 13 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 13 Gennaio 2011 1 DOVE TROVIAMO I TEST Facoltà di Scienze MM FF NN Corsi di laurea
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova. Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica P. A. Università di Padova Licei Lioy e Pigafetta, Vicenza, 27 Gennaio 2011 1 ALTRI ESEMPI Ad un tavolo circolare si siedono dei cavalieri e
DettagliL'algebra Booleana. Generalità. Definizioni
L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. I.T.I, Marzotto, Valdagno 24 febbraio 2014
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova I.T.I, Marzotto, Valdagno 24 febbraio 2014 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità di ragionamento
DettagliI TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco 12 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco 12 aprile 2016 1 Sull implicazione «se A allora B» equivale a «se non-b allora non-a» «se
DettagliSupponendo che sia vero che "can che abbaia non morde", si può dedurre che... (scrivere l'implicazione contronominale)
-Supponendo che sia vero che «se uno non studia inglese da bambino, da adulto non saprà bene l'inglese», quale delle seguenti affermazioni è corretta? A se un adulto non sa bene l'inglese, da bambino non
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
Dettagli2. Quesiti dell area scientifica e scientifico-tecnologica
2. Quesiti dell area scientifica e scientifico-tecnologica Logica 01 Scegliere fra le alternative proposte quella che completa la serie: a b c d e 02 Un auto percorre 20.000 km nel corso di un lungo viaggio.
DettagliChi non risolve esercizi non impara la matematica.
5.5 esercizi 9 Per trovare la seconda equazione ragioniamo così: la parte espropriata del primo terreno è x/00, la parte espropriata del secondo è y/00 e in totale sono stati espropriati 000 m, quindi
DettagliNOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
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
DettagliESERCIZI RECUPERO OFA. > 0 sono:
ESERCIZI RECUPERO OFA Le soluzioni della disequazione log (x x) 0 a) ], 1[ ], + [ ; b) [, 0[ ], 4] ; c) ], ] [4, + [ ; d) [ 1, 0[ ], ]. sono: 4 x Le soluzioni della disequazione 4x + 1 4 x > 0 sono: a)
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,
DettagliCenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A
Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia
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
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2017/2018 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
DettagliCenni di logica matematica e di teoria degli insiemi Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi Paola Rubbioni CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2018/2019 1 Corsi Introduttivi - a.a. 2017/2018 2 1 Logica matematica Serve
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
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
DettagliNOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
DettagliCenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
DettagliCognome Nome Data di nascita. Per le risposte utilizzare soltanto la seguente tabella.
Università degli Studi di Perugia Dipartimento di Matematica e Informatica Test di autovalutazione 3 ottobre 018 Tempo concesso per lo svolgimento: 90 minuti Il test si intende superato se le risposte
DettagliSe con e indichiamo l elemento neutro di in G, e deve appartenere ad H.
Abbiamo visto a lezione che una sottoalgebra B di un algebra A è identificabile con l immagine di un omomorfismo iniettivo a valori in A. Una sottoalgebra B di A è in particolare un sottoinsieme non vuoto
DettagliFrazioni. 8 Esercizi di Analisi Matematica Versione Argomenti: Operazioni sulle frazioni Tempo richiesto: Completare la seguente tabella: a b
8 Esercizi di Analisi Matematica ersione 2006 razioni Argomenti: Operazioni sulle frazioni Difficoltà: Tempo richiesto: Completare la seguente tabella: a b a + b a b 1/3 1/2 1/3 1/2 1/3 1/2 a b a a + b
Dettaglid) l/2. Risposta esatta (indicare in parentesi la lettera corrispondente all alternativa esatta): (d)
Su ciascuna delle facce di un cubo di lato l si appoggia una piramide retta avente come base la faccia del cubo Che altezza deve avere la piramide affinché la somma dei volumi del cubo e delle piramidi
DettagliPrecorso 2000 Test finale
42 Esercizi di Analisi Matematica Versione 2006 Precorso 2000 Test finale Tempo concesso: 120 minuti Valutazione: risposta esatta +1, errata 1, mancante 0 punti (per 32 domande) Trovare i valori di a che
DettagliLo studioso di logica si chiede se la conclusione segue correttamente dalla premesse fornite e se premesse sono buone per accettare la conclusione.
Logica binaria La logica è la scienza del corretto ragionamento e consiste nello studio dei principi e dei metodi che consentono di individuare il corretto ragionamento. Lo studioso di logica si chiede
DettagliFacoltà di Ingegneria Università di Pisa
Facoltà di Ingegneria Università di Pisa Esame Debiti Formativi del 19/12/2005 1. 100 6 =... (A) 10 64 (B) 10 6 (C) 10 12 (D) 10 7 2. cos(120 ) + cos(60 ) =... (A) cos(60 ) (B) cos(180 ) (C) 0 (D) 1. log
DettagliCOMPITI PER IL RECUPERO DELLA CARENZA FORMATIVA (E RIPASSO) MATEMATICA III - A PT
1 COMPITI PER IL RECUPERO DELLA CARENZA FORMATIVA (E RIPASSO) MATEMATICA III - A PT Scheda 1: Fondamenti di geometria analitica 1. Determina il punto P dell asse y che forma con A(; ) e B(; ) un triangolo
DettagliCOMPITI PER IL RECUPERO DELLA CARENZA FORMATIVA (E RIPASSO) MATEMATICA III - VE
1 COMPITI PER IL RECUPERO DELLA CARENZA FORMATIVA (E RIPASSO) MATEMATICA III - VE Scheda 1: Fondamenti di geometria analitica 1. Determina il punto P dell asse y che forma con A(; ) e B(; ) un triangolo
DettagliESERCITAZIONE 4 : INSIEMI E LOGICA
ESERCITAZIONE 4 : INSIEMI E LOGICA e-mail: tommei@dm.unipi.it web: www.dm.unipi.it/ tommei Ricevimento: Martedi 16-18 Dipartimento di Matematica, piano terra, studio 126 30 Ottobre 2012 Esercizio 1 I due
Dettagli01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2015/2016
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
DettagliProf. Roberto Capone. Negazioni e deduzioni
Prof. Roberto Capone Negazioni e deduzioni Negazioni Tutti fanno qualcosa; Tutti sono qualcosa Qualcuno non fa qualcosa; Almeno uno non è qualcosa Tutti gli italiani sono intelligenti Almeno un Italiano
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico ; 1; 1 1; 1; 2 1; 2; 2 3; 1; = = +1 +1
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 01-013 Prova di Matematica : Sistemi lineari Alunno: Classe: C 4.11.01 prof. Mimmo Corrado 1. Fai un esempio di un sistema lineare di due equazioni
Dettagli1. Esercizi sui numeri reali
1. Esercizi sui numeri reali 1.1. Ricavare la formula risolutiva per le equazioni di secondo grado. 1.. Scrivere in altro modo a, a R. 1.3. Dato a R, scrivere le soluzioni dell equazione x = a. 1.4. Se
DettagliLiceo Scientifico G. Galilei Trebisacce Anno Scolastico A= x x=2n n 5 n N B= x N 2 x<8 C= x x=4n n<5
Liceo Scientifico G. Galilei Trebisacce Anno Scolastico 2012-2013 Prova di Matematica : Insiemi e logica Alunno: Classe: 1C 22.11.2012 prof. Mimmo Corrado 1. Dato l insieme universo U= x N x
DettagliEsercitazioni per il corso di Logica Matematica
Esercitazioni per il corso di Logica Matematica Luca Motto Ros 15 aprile 2005 Esercizi Nota importante. In questa dispensa sono stati raccolti, senza alcun ordine particolare, alcuni esercizi che possono
DettagliRicordando che: = si ha:
Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua
DettagliCenni di logica e calcolo proposizionale
Cenni di logica e calcolo proposizionale Corso di Laurea in Informatica Università degli Studi di Bari (sede Brindisi) Analisi Matematica S.Milella (sabina.milella@uniba.it) Cenni di logica 1 / 10 Proposizioni
DettagliABILITÀ LOGICO MATEMATICHE DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI A.A LOGICA
1 Che cos è una proposizione logica? LOGICA Una proposizione logica è un espressione linguistica, cioè una frase, che può essere vera (V) o falsa (F). Consideriamo le frasi: 1. 5 è un numero primo 2. Roma
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,
DettagliChi non risolve esercizi non impara la matematica.
. esercizi Chi non risolve esercizi non impara la matematica.. esercizi + = + = + = 0 = + = 8 + = 0 = 8 8 = + 9 = 0 = + = = + = 0 = = + = 0 = 0 8 0 = 9 = 0 + = + = = 8 = 0 = = = + = 8 = 0 9 = 0 = = + 8
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
Dettagli(b) m è pari oppure n è pari (c) m è pari e n è dispari oppure, viceversa, m è dispari e n è pari (d) m è dispari oppure n è dispari
(1) Quante soluzioni reali ha l equazione 5 2x = 4(5 x 1)? (a) una (b) due (c) infinite (d) nessuna (e) non si può dire (2) Da un urna contenente 90 palline numerate se ne estraggono due, ed escono i numeri
DettagliLa logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di
La logica (dal greco logos=ragione/parola) è la scienza del ragionamento. Nasce come branca della filosofia e dall'ottocento in poi diviene campo di studio da parte anche dei matematici. LE PROPOSIZIONI
DettagliChi non risolve esercizi non impara la matematica.
60 equazioni di secondo grado Esercizio 7. Scomponi + +. Soluzione. Poiché = = = < 0, l equazione associata è impossibile e il trinomio è irriducibile (tabella )..5 esercizi hi non risolve esercizi non
DettagliP : gli iscritti all università di Bari sono più di 1000
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia il ragionamento deduttivo, ovvero le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento
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
DettagliTest di ingresso: MATEMATICA C.d.L. Scienze Geologiche (27/09/2013) NOME E COGNOME:... DATA DI NASCITA:... MATRICOLA:...
Test di ingresso: MATEMATICA C.d.L. Scienze Geologiche (27/09/203) Soluzioni VALUTAZIONE mancata risposta o risposta errata: 0 punti risposta corretta: punto NOME E COGNOME:....................................................
DettagliELEMENTI DI LOGICA. Siano p e q le due proposizioni: p: 3 è un numero primo q: 20 è divisibile per 5 Enunciare le proposizioni p q, p q.
ELEMENTI DI LOGICA Proposizioni e operazioni 2 3 4 Stabilire quali di queste frasi sono proposizioni logiche e stabilirne il valore di verità: a) 5 è un numero dispari b) Napoli è il capoluogo della Campania
DettagliIn una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.
Attività In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto. È possibile che si realizzi la situazione descritta? Motiviamo...
DettagliPROBABILITÀ. Probabilità e Statistica per le Scienze e l Ingegneria, 3/ed, P. Erto - Copyright 2008, The McGraw-Hill Companies srl
PROBABILITÀ Probabilità 2 EVENTI. STATO DI CONOSCENZA. PROBABILITÀ Molto spesso ci troviamo di fronte a fenomeni regolati da leggi non note, o non completamente note. In questo ambito ci capita di dovere
DettagliA CHI E' RIVOLTA? CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA?
ALGEBRA BOOLEANA O LOGICA GEORGE BOOLE (1815 1864) A CHI E' RIVOLTA? Alla classe degli elementi binari : 1; 0 Alla classe delle proposizioni logiche CHI PUO' ESSERE DEFINITO PROPOSIZIONE LOGICA? PROPOSIZIONE
Dettagli1 Informazioni generali
1 Informazioni generali nome del corso: Istituzioni di Matematiche I (cod. 0105085) docente: Prof. Fabio Rosso assistente: Prof. Fabio Vlacci reperibilità: 0554237147 (Rosso), 0554237154 (Vlacci) email:
DettagliGeometria delle similitudini
Istituzioni di matematiche 2 Diego Noja (diego.noja@unimib.it) 31 marzo 2009 Geometria delle similitudini CDL Scienze della Formazione Primaria Istituzioni di matematiche 2 pagina 1 CDL Scienze della Formazione
DettagliNOME E COGNOME:... DATA DI NASCITA:... MATRICOLA:... b =
Soluzioni Test di ingresso: MATEMATICA C.d.L. Scienze Geologiche (26/09/202) VALUTAZIONE mancata risposta o risposta errata: 0 punti risposta corretta: punto NOME E COGNOME:... DATA DI NASCITA:... MATRICOLA:....
DettagliUniversità degli Studi di Perugia Dipartimento di Matematica e Informatica
Università degli Studi di Perugia Dipartimento di Matematica e Informatica Test di autovalutazione 04 ottobre 2017 Tempo concesso per lo svolgimento: 90 minuti Il test si intende superato se le risposte
Dettagli1 L omotetia. i punti O, A e A siano allineati
1 L omotetia DEFINIZIONE. Dato un punto O ed un numero reale k, si dice omotetia di centro O e rapporto k, quella trasformazione del piano che associa ad ogni punto A il corrispondente punto A tale che
DettagliA) b = 0 e c = 0 B) a < 0 e b = 0 C) a > 0 e c = 0 D) a < 0 e c = 0
Test di Matematica INVALSI assegnato nell a.s. 004-05 (gentilmente digitato da Claudio Lenti 3B prog. - 1/11/05) LE SOLUZIONI SONO NELL ULTIMA PAGINA 1) Quale dei seguenti valori può essere attribuito
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
DettagliEsercizi propedeutici all insegnamento. Matematica Corso Base
Esercizi propedeutici all insegnamento Matematica Corso Base Prof.ssa G. Rotundo Prof. R. Benini Facoltà di Economia Sapienza Università di Roma a.a. 014/15 Indice Prefazione 1 1 Linguaggio, elementi di
DettagliElementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
DettagliIndice. Aritmetica modulare. Mauro Saita. Versione provvisoria. Febbraio
modulare e-mail: maurosaita@tiscalinetit Versione provvisoria Febbraio 2018 1 Indice 1 modulare Classe di resti 2 11 Le proprietà delle congruenze 4 12 Le operazioni in Z n : l addizione e la moltiplicazione
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
DettagliPOLIGONI E NON POLIGONI: elementi caratteristici, proprietà e relazioni.
POLIGONI E NON POLIGONI: elementi caratteristici, proprietà e relazioni. Il problema dell altezza. Clara Colombo Bozzolo, Carla Alberti,, Patrizia Dova Nucleo di Ricerca in Didattica della Matematica Direttore
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
DettagliELEMENTI DI LOGICA. Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),...
ELEMENTI DI LOGICA Predicati: frasi sensate che contengono una (o più) variabili libere. Li indichiamo con P(x,y,...),... Le variabili libere x, y,... sono argomenti che possono assumere valori diversi
DettagliLogica proposizionale
Logica proposizionale Linguaggio comune Nel linguaggio comune si utilizzano spesso frasi imprecise o ambigue Esempio Un americano muore di melanoma ogni ora! Assurdo: significa che c è un americano (sfortunato)
DettagliAppunti di geometria euclidea
Appunti di geometria euclidea Il metodo assiomatico Appunti di geometria Euclidea Lezione 1 Prima di esaminare nel dettaglio la Geometria dal punto di vista dei Greci è opportuno fare unrichiamo di Logica.
DettagliSillogismi 1. Cosa significa sillogismo
Sillogismi 1. Cosa significa sillogismo? A. Connessione necessaria di tutti i fenomeni secondo il principio di causalità B. Lento movimento della crosta terrestre che determina un abbassamento o un innalzamento
DettagliANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA 2018-19 Settimana 1 Cap 1. 4.1, 4.2, 4.3, 4.4: Nozione intuitiva di funzione f : X Y, Dominio, codominio, immagine,
DettagliE. Ken non è giapponese
SILLOGISMI 1. Nei pressi di un lago il clima è sempre mite. Parigi ha un clima mite. Quale delle seguenti affermazioni è certamente vera? A. Parigi è nei pressi di un lago B. Parigi no è nei pressi di
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
DettagliGEOMETRIA. 25 GENNAIO ore. Istruzioni: Scrivere cognome, nome, numero di matricola in stampatello negli appositi spazi.
GEOMETRIA 25 GENNAIO 2008 2 ore Istruzioni: Scrivere cognome, nome, numero di matricola in stampatello negli appositi spazi. Trascrivere i risultati dei quiz della prima parte nella tabella in questa pagina.
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
DettagliLA CLASSIFICAZIONE DEI VIVENTI
LA CLASSIFICAZIONE DEI VIVENTI Cinque regni (Robert Whittaker-1959): Ø Regno animale (eucarioti pluricellulari a nutrizione eterotrofa, per ingestione) Ø Regno vegetale (autotrofi pluricellulari a nutrizione
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
DettagliDIETRO LE QUINTE DELLA MATEMATICA
DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 12 (5-5-2017) PERUCCO Pieraldo Richiami Matematica : insieme di DOGMI di FEDE o di OPINIONI? Metodo deduttivo, logica e processo
DettagliLa logica matematica. Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S
La logica matematica Si ringraziano per il loro contributo gli alunni della classe IB Lic. Sc. A.S. 2010-2011 La logica studia le proposizioni logiche e le relazioni tra esse. Una proposizione logica è
DettagliProf. Roberto Capone. Nozioni di logica matematica
Prof. Roberto Capone Nozioni di logica matematica Premesse In matematica non è ammesso un linguaggio ambiguo. Le parole chiave di questo linguaggio sono soltanto sette: Connettivi Non E O Se. allora Se
DettagliLOGICA E ALGEBRA. 5 febbraio Parte di Logica
LOGICA E ALGEBRA 5 febbraio 2016 Parte di Logica In logica proposizionale siano A,B,C le formule di un opportuno linguaggio proposizionale che traducono le frasi Se Carlo ha vinto la gara, allora Mario
DettagliORDINAMENTO 2003 SESSIONE STRAORDINARIA - QUESITI QUESITO 1
www.matefilia.it ORDINAMENTO 3 SESSIONE STRAORDINARIA - QUESITI QUESITO 1 Nell insieme delle rette dello spazio si consideri la relazione così definita: «due rette si dicono parallele se sono complanari
DettagliRETTE E PIANI NELLO SPAZIO
VETTORI E GEOMETRIA ANALITICA 1 RETTE E PIANI NELLO SPAZIO Rette e piani in forma cartesiana e parametrica. Parallelismo e perpendicolarità, posizioni reciproche tra rette e piani, distanze. Esercizio
DettagliI NUMERI REALI E I RADICALI I PARTE
I NUMERI REALI E I RADICALI I PARTE CLASSI III A E III B Prof. Erasmo Modica erasmo@galois.it INTRODUZIONE AI NUMERI IRRAZIONALI NOTA STORICA La teoria delle monadi è stata elaborata dai Pitagorici nel
DettagliEsonero di MATEMATICA DISCRETA,
Esonero di MATEMATICA DISCRETA, 22-12-2014 1. Dimostrare A (B C) (A) (A C) a) Con le tavole di verità ABC B C A (B C) A A C (A) (A C) 000 1 1 1 1 1 001 1 1 1 1 1 010 0 1 1 1 1 011 1 1 1 1 1 100 1 1 0 0
DettagliSPAZI VETTORIALI CON PRODOTTO SCALARE A =
SPAZI VETTORIALI CON PRODOTTO SCALARE Esercizi Esercizio. Nello spazio euclideo standard (R 2,, ) sia data la matrice 2 3 A = 3 2 () Determinare una base rispetto alla quale A sia la matrice di un endomorfismo
DettagliLezione 6 Richiami di Geometria Analitica
1 Piano cartesiano Lezione 6 Richiami di Geometria Analitica Consideriamo nel piano due rette perpendicolari che si intersecano in un punto O Consideriamo ciascuna di queste rette come retta orientata
DettagliPercorso 2010: Introduzione alla Logica Proposizionale
Percorso 2010: Introduzione alla Logica Proposizionale Francesca Poggiolesi Facoltà di Medicina e Chirurgia 26 Agosto 2010, Firenze Dal test alla logica Alcuni esempi di test 1 Dal test alla logica Alcuni
Dettagli3A ALGEBRA Numeri relativi Esercizi supplementari di verifica 1 Metti una crocetta su vero (V) o falso (F) di fianco ad ogni affermazione.
Numeri relativi Esercizi supplementari di verifica Esercizio Metti una crocetta su vero (V) o falso (F) di fianco ad ogni affermazione. a) V F L insieme dei numeri interi relativi è un sottoinsieme dell
DettagliANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA
ANALISI MATEMATICA 1 ANALISI MATEMATICA A CORSI DI LAUREA TRIENNALE IN FISICA E MATEMATICA 2017-18 Settimana 1 (1) Cap 1. 4.1, 4.2, 4.3, 4.4: Nozione intuitiva di funzione f : X Y, x f(x) Definizioni di
DettagliKangourou Italia Gara del 17 marzo 2016 Categoria Student Per studenti di quarta e quinta della scuola secondaria di secondo grado
Kangourou Italia Gara del 17 marzo 2016 Categoria Student Per studenti di quarta e quinta della scuola secondaria di secondo grado I quesiti dal N. 1 al N. 10 valgono 3 punti ciascuno 1. La somma degli
DettagliL1 L2 L3 L4. Esercizio. Infatti, osserviamo che p non può essere un multiplo di 3 perché è primo. Pertanto, abbiamo solo due casi
Sia p 5 un numero primo. Allora, p è sempre divisibile per 4. Scriviamo p (p ) (p + ). Ora, p 5 è primo e, quindi, dispari. Dunque, p e p + sono entrambi pari. Facciamo vedere anche che uno tra p e p +
Dettagli