Il calcolo proposizionale
I pensatori di ogni epoca e orientamento hanno assegnato alla disciplina nota come 'logica' ambiti e funzioni sempre diversi.
Cicuta.net fa riferimento a un campo molto preciso, quello della logica simbolica, o logica formale, o più semplicemente 'calcolo proposizionale'.

Cicuta.net suggerisce l'uso della logica formale come (eventuale) controllo della correttezza delle argomentazioni. Non per sport, o per puro amore formale, ma per bisogno pratico.
La logica simbolica simbolica o calcolo proposizionale non sarà qui argomento di discussione (a meno che non venga proposto un problema in proposito...), né servirà a generare gli argomenti.

- definizione
- simboli
- regole