Buenas,
Tengo la duda de si cuando estoy trabajando desde la semántica puedo asumir como ciertas algunas equivalencias y leyes algebraicas.
Quiero saber si por ejemplo sabiendo que po νㄱpo es tautologia puedo afirmar que ㄱpo ν po es tautologia.
Muchas gracias