Praguicidas que agem como inibidores da enzima acetilcolinesterase de forma irreversível, levando ao acúmulo da acetilcolina nos sítios colinérgicos e levando a uma hiperestimulação colinérgica são os: