Salve! Ho riscontrsto alcune difficoltà in questo esercizio sulle proposizioni logiche.
"Traduci le seguenti proposizioni in simboli:
a) Non tutti i numeri interi sono naturali.
b)Esiste almeno un numero primo che non é dispari.
c)x é divisibile per 6 se e solo se x è divisibile per 2 e per 3.
d)q é condizione necessaria per p.
e) p è condizione sufficiente per q.
f)Il quadrato di ogni intero positivo, è positivo.
Grazie in anticipo e buona giornata.
6
punti
Livello 0
a) "(esiste) z (appartenente ) a Z tale che z (non appartiene) a N"
b) "(esiste) p : p é primo e p/2 (appartiene) a N"
c) "x mod 6 = 0 <=> x mod 2 = 0 & x mod 3 = 0"
d) "p => q"
e) "p => q (uguale alla precedente)"
f) "n (appartiene) a N => n^2 (appartiene) a N"
Spero che i simboli tu li conosca perché non li so scrivere.
45536
punti
Livello 7
@eidosm Si,i simboli li consco. Grazie mille!
