Dennotation In Logical Reasoning