Definiţie: operaţie logică prin care termenii propoziţiei asumată ca

premisă îşi schimbă reciproc funcţiile;

Formulă: SP -> PS;
Validitate: LEGEA DISTRIBUIRII TERMENILOR: oricare din cei doi
termeni (S şi P) apare distribuit în concluzie, dacă şi numai dacă a
apărut distribuit şi în premisă;