Potete dirmi se il mio ragionamento è corretto?
Abbiamo la seguente funzione:
$ f:Nrarr O/ $
Il testo chiede di determinare se questa funzione è iniettiva o non (Spoilers: la risposta è che è entrambe contemporaneamente).
Siccome la funzione è una relazione R, tale che ogni elemento di N è associato ad uno e un solo elemento del secondo insieme, e se quest'ultimo non ha elementi, allora ciò implica che nessun elemento dell'insieme N ( o qualsiasi insieme non vuoto) è associato ad uno e un solo elemento!
Perciò questa f, non soddisfa la definizione di funzione, e perciò entrambe le affermazioni possiamo anche considerarle vere contemporaneamente ( essendo la premessa falsa ).