\( t \subseteq \mathbb{R}\) e \( x \in \mathbb{R}\) allora o \( x \) è inter. o \( x \) è ester. o \( x \) è di fron.

[garnak.olegovitc1]

Salve a tutti,
leggevo che

"siano dati \( t \subseteq \mathbb{R}\) e \( x \in \mathbb{R}\) allora o \( x \) è interno ad \( t \) o \( x \) è esterno ad \(t \) o \( x \) è di frontiera per \( t \)"

ma è un qualcosa che si postula o si dimostra?

Ringrazio anticipatamente!!
Cordiali saluti

[gugo82]

Si dimostra, ovviamente.

[garnak.olegovitc1]

Ciao gugo82,

"gugo82":Si dimostra, ovviamente.

correggimi se sbaglio, visto che deve essere verificato solo uno dei casi allora non vi può nè essere l'operatore XOR nè essere l'operatore OR tra i casi, basta vedere le loro tabelle di verità ( XOR e OR) .. in questo caso "se si verifica solo uno dei casi" (tra $P$, $Q$ e $R$) significa a livello logico questa espressione... giusto?

Ti ringrazio in anticipo!!

Saluti