Le 10 regole del calcolo proposizionale

1
Regola di assunzione (A)
Qualunque proposizione può essere introdotta a qualsiasi punto dell'argomentazione.

2
Modus Ponendo Ponens (MPP)
Assumendo le premesse A e A → B, si ricava B come conclusione.

3
Modus Tollendo Tollens (MTT)
Avendo come premesse -B e A → B, la conclusione è -A.

4
Doppia negazione (DN)
Dato A, si può ricavare --A, e viceversa.

5
Prova condizionale (PC)
Se dall'assunzione A deriva B, si può porre come conclusione anche A→ B.

6
Introduzione di congiunzione (I)

7
Eliminazione di (E)
Data la premessa A B, si può concludere A e B separatamente.

8
Introduzione di (I)
Date le premesse A o B separatamente, si può derivare A B.

9
Eliminazione di (E)
Date le premesse A B, A C e B C, si può concludere C.

10
Reductio ad absurdum (RAA)
Se dall'assunzione A si ricava B → -B, allora si può concludere -A.