Dimostrare l'equivalenza di due proposizioni

Due proposizioni, o meglio, due espressioni logiche sono equivalenti quando assumono gli stessi valori logici al variare dei parametri che le condizionano.

Regole fondamentali usate nelle dimostrazioni

Quando si fa una dimostrazione, di un teorema, o in generale di una proposizione che si vuole far vedere essere vera, bisogna procedere seguendo delle regole ben precise, dette regole di deduzione.