⇔ | "freccia doppia punta, tratto doppio" | (forma) | ||
"freccia di equivalenza logica" | (significato) |
A equivale a B
A se e solo se B
A e B proposizioni equivalenti.
proposizioni equivalenti
in simboli:
[ A ⇔ B ] ⇔ [ A⇒B e A⇐B ]
[ ⇔ ] ⇔ [ ⇒ e ⇐ ]
≡ connettivo logico
≡ funzione logica in 2 variabili
≡ tabella di verità
Tradotto in tb
A | B | A⇔B | |
---|---|---|---|
0 | 0 | 1 |
A e B hanno valore uguale |
0 | 1 | 0 | A e B hanno valore diverso |
1 | 0 | 0 | A e B hanno valore diverso |
1 | 1 | 1 |
A e B hanno valore uguale |
esof: Equivalente equivalenza.
Ad ogni significato la sua freccia. Ad ogni freccia il suo significato..
la proposizione "A e B sono equivalenti"
la 2 e' piu' comprensibile per il principiante.
in simboli: [ A ⇔ B ] ⇔ [ A⇒B e A⇐B ]
[ ⇔ ] ⇔ [ ⇒ e ⇐ ]
ADHD - breadth first search wp/Breadth-first_search
autism - depth first search wp/Depth-first_search
Attention_deficit_hyperactivity_disorder
zeusnews/Steve Jobs: il
mondo mi dimenticherà presto