Q(not x,y)
effettivamente, usando la sintassi “pura”, quella dei libri di logica (sono appena andato a controllare) non e' ben formata.
MA senza altre informazioni, dove c'e' scritto che uno non possa avere una funzione Q dove il primo parametro e' booleano e viene passato ‘not x’?
@LucaDev, questo per dire: non basta buttare li una domanda, SENZA contesto, e sperare che, mediante la lettura del pensiero a distanza, uno acquisisca TUTTE le info mancanti per poi darti la risposta corretta!
;-)