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ă;