Notazione e convezione

[LLello1]

Salve a tutti
Non riesco a raccapezzarmi tra questa confusione facilmente riscontrabile in molti tesi ma soprattutto online
Il segno di implicazione materiale è equivalente al segno di implicazione logica( nel senso che sortisce gli stessi effetti al fine della comprensione)? Ovvero:
$rarr$ $=$ $rArr$ ( per chi non ricordasse i nomi delle "freccette")
Grazie a tutti per l'attenzione

[grimx]

Buonasera LLello,
Ti segnalo questa pagina che magari (spero) può riolvere il tuo dubbio:
http://www.lezionidimatematica.net/Logica/approfondimenti/logica_approfondimento_05.htm

[LLello1]

gentilissimo grimx
Ho lasciato questa domanda senza rimuoverla ma in realtà ho trovato la risposta nel mio libro di matematica.
Comunque non è chiaro nemmeno in quel link.
La diversità consiste nel fatto che l'implicazione logica non crea una nuova proposizione da verificare, ma è solo un collegamento "veritiero" tra due proposizioni.
L'implicazione materiale invece non dice nulla circa la verità dell'implicazione in sé ma crea una nuova proposizione da verificare, ovviamente.

[grimx]

Ok, mi fa piacere che tu abbia già trovato risposta
Mi dispiace non essere stato di grande aiuto comunque.
Ciao e buona serata!