Citazione di: Phil il 02 Settembre 2024, 15:33:02 PMLa logica formale ha il problema della compilazione dei valori, ossia del rapporto con la realtà delle proposizioni per A, B, etc. Ad esempio, l'implicazione logica A → B, è nel complesso vera o falsa secondo la seguente tavola di verità:Purtroppo io non sono molto esperto nell'usare le "tavole della verità"; le quali, invece, sono davvero molto utili per risolvere il problemi di natura logica
Usare una notazione logica purtroppo non salvaguarda da errori, né formali (può comunque essere usata male, non c'è un correttore ortografico-sintattico per la logica, almeno credo), né contenutistici (assegnazioni di valore ad A e B), ma talvolta può comunque aiutare a chiarire la struttura dell'argomentazione e le relazioni fra gli elementi coinvolti.
