^^Implicazione logica.

     "freccia tratto doppio"     (forma)
  "freccia di equivalenza logica"   (significato)

ALeggesi:

 

Linguaggio logico Linguaggio causa-effetto
  1. A implica B
  2. se A vero, allora B e' vero.
  3. A, allora B
  4. A, di conseguenza, B
  5. A, segue B
  6. da A consegue B
  7. B e' conseguenza di A
  8. da A si deduce B
  1. A provoca B
  2. A produce B
  3. A causa B

 

Pre(requisito)

Per parlare di implicazione logica, occorre dire cosa sia lo logica, e piu' precisamente la Logica matematica.

Links

  1. Freccia ⇒. Ad ogni significato la sua freccia. Ad ogni freccia il suo significato.
  2. Equivalenza logica.

Approfond

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