^^Equivalenza logica.

     "freccia doppia punta, tratto doppio"     (forma)
  "freccia di equivalenza logica"   (significato)

ALeggesi:

A equivale a B

A se e solo se B

A e B proposizioni equivalenti.

 

proposizioni equivalenti 

 

L'equivalenza logica equivale a una doppia implicazione reciproca.

in simboli:

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


[ ⇔ ] ⇔ [ ⇒ e ⇐ ] 

Pre(requisito)

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 ...

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

 

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 ] [ AB e AB ]
             [ ] [ 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