Simboli

Estrarre la forma da un ragionamento significa scomporlo nei suoi elementi costitutivi: la premessa, la conclusione, e il loro legame logico. La premessa e la conclusione sono due proposizioni dichiarative, il cui contenuto di verità è indifferente: la logica formale le sostituisce con i simboli alfabetici A, B, ...
Il legame logico è ciò per cui la conclusione deriva necessariamente dalla premessa. A livello proposizionale, il legame logico è espresso da termini come 'se ... allora ...', 'e .. e...', 'o ... o...', eccetera. Lemmon (Elementi di logica, Laterza 1975) chiama queste parolette 'operatori per la formazione di proposizioni da proposizioni'.

In Cicuta.net troverete i seguenti simboli:

→ segno condizionale: indica "se ... allora ...". Se piove allora c'è umidità diventa: A → B, dove A si chiama antecedente e B conseguente.

- indica la negazione: - A significa 'non piove'

significa congiunzione. A ∧ B = piove e c'è molta umidità. I due termini A e B si dicono 'congiunti'

indica lo stato di disgiunzione 'vel'. Diversamente da 'aut', non presuppone che i suoi termini ('disgiunti') possano essere entrambi veri: 'dato che sei tornato bagnato, allora o piove o hai sudato molto' diventa C (AD).

significa quindi, e indica il punto di arrivo del ragionamento: 'se non prendo l'ombrello, mi bagnerò. non prendo l'ombrello, quindi mi bagnerò' diventa
A → B, A B.

La formalizzazione delle argomentazioni è inserita in una tabella a 4 colonne: nella colonna 1 a sinistra si trovano i numeri delle assunzioni di origine, da cui deriva l'enunciato cui è dedicata la riga (che si trova nella colonna 3).
La colonna 2 contiene il numero del passo argomentativo. Alla destra dell'enunciato, cioè nella colonna 4, va inserita la regola di derivazione dell'enunciato, cioè la giustificazione della sua presenza lì, preceduto dai numero dei passi a cui la regola si applica.
Es: