1.

Dati i 3 enunciato a, b, c

a) io esco con il motorino

b) io vado al cinema
c) Mario mi viene a trovare

scrivere con i simboli della logica le seguenti espressioni:

 Esco con il motorino ma non vado al cinema

 Esco con il motorino solo se vado al cinema
 Se Mario mi viene trovare non vado al cinema
 Se esco col motorino o vado al cinema Mario non mi viene a trovare

2. Negare le seguenti proposizioni

 Oggi c’è la verifica di logica

 2+2=5
 Qualche numero è primo
 Piove e fa freddo

3. Qual è la negazione della frase: Almeno 3 studenti in questa classe sono umbri

 Al più 2 studenti in questa classe sono umbri

 Più di 2 studenti in questa classe sono umbri
 Almeno 4 studenti in questa classe sono umbri
 In questa classe non ci sono studenti umbri

4. Quelli scritti qui sono ragionamenti corretti? Sapresti dire perché? Prova a
fare un esempio di ognuno di loro.

 [(p→q)Λp] →q
 [(p→q)Λ⌐p] →⌐q

5. Quale espressione logica può calcolare il circuito disegnato qui?

6. Cosa si può affermare partire dalla verità delle seguenti affermazioni?

 Se vinco al superenalotto allora divento ricco

 Se non divento ricco non compro la macchina nuova
 Compro la macchina nuova

a) Ho vinto al superenalotto
b) Sono diventato ricco
c) Non posso dire se sono ricco o povero
d) Nessuna delle precedenti

7. Cosa si può affermare partire dalla verità delle seguenti affermazioni?

 Se viene Lucia allora vado al cinema

 Se vado al cinema non leggo il libro
 Non leggo il libro

a) E’ venuta Lucia
b) Vado al cinema
c) Vado al cinema e viene Lucia
d) Nessuna delle precedenti

8. Utilizzando i quantificatori riscrivi questa frase, trovane una ad essa

equivalente e nega la frase di partenza.

Non tutti i triangoli sono isoscele

9. Dati gli enunciati aperti P( x ) : x  4  0 e Q( x) : x  0 determinare l’insieme di

2

verità di

 P( x)
 Q( x)
 P ( x)  Q( x)
 P ( x)  Q( x)

10. Assegnare un valore di verità alle seguenti espressioni logiche

 x  R : x  x

 x  R : x 2  0
  x, y : ( x  y  4  x  y  1)
  x, y  C : ( x 2  y 2  R 2 ) C è una circonferenza di raggio R
 11. Verificare, facendo uso dell’insiemistica, questi sillogismi, dire se sono corretti
o no:

Tutti i Q sono P Qualche Q è P Tutti i P sono Q

Tutti i Q sono R Ogni Q è non R Qualche R è Q

Qualche R è P Qualche P è non R Qualche R è P

Fare un esempio per ognuno dei sillogismi proposti

12. Quattro persone sono sospettate di aver commesso un furto, ad un

interrogatorio rispondono:

Angela: E’ stato Carlo

Giovanni: Non sono stato io
Carlo:E’ stata Diana
Diana: Carlo ha mentito dicendo che sono stata io

Chi è stato sapendo che solo uno di loro dice la verità?

E sapendo che solo uno di loro mente?

13. Dati i 3 enunciato a, b, c

a) La trasmissione non mi piace

b) Cambio canale
c) Spengo la televisione

scrivere con i simboli della logica le seguenti espressioni:

 La trasmissione non mi piace ma non cambio canale

 Se la trasmissione non mi piace non spengo la televisione
 Se la trasmissione non mi piace non spengo la televisione, cambio canale
 Cambio canale o spengo la televisione solo se la trasmissione non mi piace

14. Negare le seguenti proposizioni

 A Luca piace scrivere

 7>3
  Tutti i romani tifano per la Roma
 Piove o grandina

15. Qual è la negazione della frase: Al massimo 4 di voi sono ragazze

 Non siete tutte ragazze

 Al massimo 4 d voi sono ragazzi
 Almeno 5 di voi sono ragazze
 Al massimo 3 di voi sono ragazze

16. Quelli scritti qui sono ragionamenti corretti? Sapresti dire perché? Prova a
fare un esempio di ognuno di loro.

 [(p→q)Λ⌐q] →⌐p
 [(p→q)Λq] →p

17. Quale espressione logica può calcolare il circuito disegnato qui?

18. Cosa si può affermare a partire dalla verità delle seguenti affermazioni?

 Se sono attento vinco la partita di scacchi

 Se non vinco la partita di scacchi non mi qualifico per il turno successivo
 Mi sono qualificato per il turno successivo

a) Sono stato attento

b) Non posso dire se ho vinto o perso la partita
c) Ho vinto la partita
d) Nessuna delle precedenti

19. Cosa si può affermare partire dalla verità delle seguenti affermazioni?

 Se piove porto l’ombrello

 Se non porto l’ombrello mi bagno
  Sono bagnato

a) ha piovuto
b) Non sono bagnato
c) Non ho portato l’ombrello
d) Nessuna delle precedenti

20.Utilizzando i quantificatori riscrivi questa frase, trovane una ad essa

equivalente e nega la frase di partenza.

Tutti gli svedesi non sono mori

21. Dati gli enunciati aperti P( x ) : x  0 e Q( x) : x  7  1 determinare l’insieme di

2

verità di

 Q( x)
 P( x)
 P ( x)  Q ( x)
 P ( x)  Q ( x)

22.Assegnare un valore di verità alle seguenti espressioni logiche

 x  R : x 2  0
 x  R : log x  0
 x, y : ( x  y  0  x  2 y  1)
 x, y  C : ( x 2  y 2  R 2 ) C è una circonferenza di raggio R

23.Verificare, facendo uso dell’insiemistica, questi sillogismi, dire se sono corretti

o no:

Nessun Q è P Qualche R è Q Nessun P è non Q

Tutti gli R sono Q Tutti P sono R Qualche P è R

Nessun P è R Qualche P è non Q Qualche R è Q

Fare un esempio per ognuno dei sillogismi proposti

24.Un'isola è abitata dai furfanti che mentono sempre e da cavalieri che dicono
sempre la verità.

Fra tre abitanti A, B, C si svolge il seguente dialogo:

A: "Voi siete due furfanti"
B: "Io sono un cavaliere"
C: "Almeno uno di voi è cavaliere"

Cosa possiamo dire sui tre abitanti.