Logica intuizionista: disgiunzione

[thedarkhero]

In logica intuizionista, date $A$ e $B$ proposizioni, la proposizione $A \vv B$ ammette un ticket se e solo se esiste un ticket per $A$ oppure esiste un ticket per $B$.
Per conservare l'informazione sulla provenienza del ticket di $A \vv B$ si considera $A \vv B$ come unione disgiunta di $A$ e di $B$.
Questo significa che si suppone che non possa esistere un ticket in grado di provare sia A che B?

[fields1]

"thedarkhero":
Questo significa che si suppone che non possa esistere un ticket in grado di provare sia A che B?

Be', se A e B sono diverse, è generalmente da escludere che qualcosa che provi A possa essere anche una prova di B. Non che non possa capitare (anche se dovrei vedere la definizione di ticket che stai usando). Il fatto è che per provare $A\vee B$ basta provare uno dei due fra A e B, non si è interessati al caso in cui un ticket vada bene per entrambe.

[garnak.olegovitc1]

Salve thedarkhero,

"thedarkhero":In logica intuizionista, date $A$ e $B$ proposizioni, la proposizione $A \vv B$ ammette un ticket se e solo se esiste un ticket per $A$ oppure esiste un ticket per $B$.
Per conservare l'informazione sulla provenienza del ticket di $A \vv B$ si considera $A \vv B$ come unione disgiunta di $A$ e di $B$.
Questo significa che si suppone che non possa esistere un ticket in grado di provare sia A che B?

penso di si, poichè è una disgiunzione. Poi, non è che non esiste un ticket in grado di provare sia A che B ma non è necessario, se poi non esiste è un'altra opzione o ipotesi.
Cordiali saluti