alternativa

alternativa

alternativa metodo di ragionamento (ragionamento per alternativa), detto anche argomento della distinzione dei casi, che consiste nel ritenere incondizionatamente vero ciò che vale in tutti i possibili casi. Se si suppone, per esempio, che i casi possibili siano solo due, A, B, e che C valga sia sotto l’ipotesi A sia sotto l’ipotesi B: allora C vale tout court.

☐ In teoria degli algoritmi, schema utilizzato nella costruzione di un algoritmo, basato sul principio del → terzo escluso: in una procedura deterministica, quale un algoritmo, deve essere possibile seguire l’una o l’altra tra due possibili vie, a seconda del valore di una grandezza che funziona da controllo. La possibilità di seguire l’una o l’altra via, detta appunto scelta tra alternative, è rappresentata dal seguente schema:

Esso indica che se la condizione in parentesi è vera allora si segue il percorso della sequenza 1, altrimenti quello della sequenza 2. La condizione da verificare è una variabile booleana, che può cioè assumere i due valori logici vero o falso.