A negação lógica da sentença “Toda cobra é verde ou venenosa” é: