^^Equivalenza logica.

A⇔B  Leggesi:

A equivale a B

A se e solo se B

A e B proposizioni equivalenti.

proposizioni equivalenti 

• hanno lo stesso valore di verità, in ogni caso;
• cioe' entrambe vere o entrambe false, in ogni caso.

L'equivalenza logica equivale a una doppia implicazione reciproca.

in simboli:

[ A ⇔ B ] ⇔ [ A⇒B e A⇐B ]

[ ⇔ ] ⇔ [ ⇒ e ⇐ ] 

Pre(requisito)

• Per parlare di equivalenza logica, occorre dire cosa sia la logica, e piu' precisamente la Logica matematica.
• Implicazione logica.

Approfond

Equivalenza logica rappresentata nel calcolo delle proposizioni

L'equivalenza logica viene vista come

≡ connettivo logico

≡ funzione logica in 2 variabili

≡ tabella di verità

La proposizione "A e B sono equivalenti" e' V/F quando ...

• vera se A e B hanno lo stesso valore
• falsa se hanno valore diverso.

Tradotto in tb

Links

esof: Equivalente equivalenza.

Ad ogni significato la sua freccia. Ad ogni freccia il suo significato..

Approfond

Dimostrazioni; 3 tipi. Serie di implicazioni, contrapositivo, assurdo.

Dirlo

la proposizione "A e B sono equivalenti"

1. e' vera se e solo se hanno lo stesso valore
2. e' vera se hanno lo stesso valore, falsa se hanno valore diverso.

la 2 e' piu' comprensibile per il principiante.

Talk

c: Scritto con font

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