identical proposition

(منطق) گزارههای این همان، قضایای اتحادی