パースの法則

3行要約

1. 古典論理において「((P→Q)→P)→P」という形式で表される恒真式。
2. 直観主義論理では成立せず、古典論理の特徴を決定づける論理式の一つ。
3. チャールズ・サンダース・パースによって定式化された。