типична логика