∀x(S(x)→(¬G(x,3)→¬U(x)))
secondo chatgpt si tratterebbe della trascrizione Logica di: Un sedia senza tre gambe è inutile.
In un ipotesi di questo tipo, l'individuazione di un simbolo logico a mio avviso sarebbe necessario. Il simbolo logico dovrebbe rappresentare un'assenza. Rappresentando un'assenza con un simbolo Logico (cerchietto ch'è intersecato da "meno(-)" sopra a sinistra CCEIDMSAS che abbreviando l'abbreviazione figuro così:
Commenti
Posta un commento