^^Equivalenza logica.

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

ALeggesi:

A equivale a B

A se e solo se B

L'equivalenza logica equivale a una doppia implicazione reciproca.

in simboli:

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


[ ⇔ ] ⇔ [ ⇒ e ⇐ ] 

Pre(requisito)

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.

 

 

 

 

Talk

c: Scritto con font

in simboli:  [ A B ] [ AB e AB ]
             [ ] [ e