Discussione:Implicazione logica

a mio parere si potrebbe spostare tutta la parte riguardante i teoremi in una voce ad essa dedicata

ho anche notato delle inesattezze riguardanti la sezione equivalenza logica, alla quale, tra l'altro, si potrebbe destinare una sezione apposita

Non è il mio campo, ma se pensi che la voce abbia bisogno di miglioramenti, migliorala! Magari, dopo le tue modifiche, lascia un appunto in discussione a vantaggio di chi successivamente interverrà nella voce. Ciao! - Alec 11:46, 25 giu 2006 (CEST)

Alcune ambiguità nella pagina

Si dovrebbe, a mio avviso,togliere il termine "operazione binaria", che è più algebrico che logico, e chiarire, all'inizio, che esistono altri modi di formalizzare il concetto di implicazione ma che quello classico, tradizionale o come si voglia dire è quello dell'implicazione materiale, o filoniana. Quindi passare a parlare del connettivo classico, dare la tavola di verità, le leggi principali, o teoremi classici di cui gode l'implicazione e così via. Gli aspetti di tecnica della dimostrazione (la reductio ad absurdum e così via) andrebbero messi in fondo. un'ultima questione: dato che la trattiamo, come un connettivo logico o operazione binaria sarebbe meglio usare termini sintattici come "formula" p "enunciato" piuttosto che nozioni semantiche come "proposizione". Qualcuno ha niente in contrario se opero queste piccole modifiche?-- Galvano blu^Scrivimi 00:44, 7 ago 2009 (CEST)