aut

aut

aut connettivo logico che corrisponde alla disgiunzione esclusiva («o» alternativo). Per esempio, nella frase «Dopo la scuola media Carlo frequenterà il liceo scientifico o il liceo classico» la disgiunzione «o» è usata in senso esclusivo; infatti, una sola delle due eventualità potrà essere vera. Dati due enunciati A e B, l’enunciato «A aut B» è vero nel caso in cui solo uno dei due enunciati è vero mentre è falso sia se essi sono entrambi veri sia se sono entrambi falsi. L’azione di questo connettivo viene espressa dalla seguente tavola di verità: