Loading article…
論理学において、置換規則[ 1 ] [ 2 ] [ 3 ]は、式の特定の部分のみに適用できる変換規則です。論理体系は、体系内の論理式の変換規則として、公理、推論規則、またはその両方を使用するように構築できます。推論規則は常に論理式全体に適用されますが、置換規則は特定の部分のみに適用できます。論理証明の文脈では、論理的に同等の式は互いに置き換えることができます。置換規則は、命題論理において命題を操作するために使用されます。
置換の一般的な規則には、ド・モルガンの法則、交換法則、結合法則、分配法則、二重否定法則、[ a ]転置法則、実質含意法則、論理的同値法則、輸出法則、および同義反復法則が含まれます。
上記の規則は、次の表にまとめることができます。[ 4 ]「同義反復」の列は、特定の規則の表記をどのように解釈するかを示しています。