A Logical definition of 'wrong'