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.

Proprietà e tautologie notevoli

Le seguenti proprietà sono notevoli.  Si verifichi che sono delle tautologie.

Si dimostrino le seguenti proposizioni notevoli sulle tautologie

Si dimostrino le seguenti proposizioni notevoli sulle tautologie:

Le proposizioni nelle formule logiche

Nello studio della logica bisogna distinguere gli elementi di una frase che sono rilevanti per l'analisi logica.

Una frase più essere suddivisa in unità più piccole, periodi, che esprimo un concetto logico atomico, cioè non ulteriormente divisibile. I periodi sono anch'essi frasi, ma sono i mattoncini che permettono di costruire frasi complesse.