Title: Formella logiken baserad pa identitetsprincipen