Semantics for the sentential calculus with identity