A short proof that adding some permutation rules to beta preserves SN

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/228395I show that, if a term is $SN$ for $β$, it remains $SN$ when some permutation rules are added.LogicLogic in Computer ScienceA short proof that adding some permutation rules to beta preserves SNtext