Overleg gebruiker:Otto ter Haar/logica

Congruentie symbool

Ik ga van

_________ _CS2

terug naar

_________ _≡S2

Bij de congruentieregel voor de identiteitsrelatie komt het symbool ≡ dan tweemaal voor, omdat je een eigenschap van de identiteitsrelatie op die relatie zelf toepast (en daarmee een afleidingsregel afleidt).