Matematica per le superiori/Logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 24:
:In questi casi le variabili considerate sono ''x'' e ''y''; per stabilire il valore di verità di tali predicati, dobbiamo sostituire ad esse un elemento nell'insieme universo assegnato, trasformandoli così in enunciati. Per indicare un predicato ''chiuso'' si usa una lettera maiuscola dell'alfabeto latino seguita dall'elemento che si sostituisce alla variabile, tra parentesi:
::''P(5)'': ''5 è un numero dispari'' (<math>x = 5</math>, enunciato vero)
::''
== Libri correlati ==
|