述語論理のリテラルには個体変数が含まれるため、リテラルと否定リテラルとを単純に比較するだけでは削除できるかどうか分からない。一階述語論理ではリテラルと否定リテラルそれぞれの原子論理式が単一化できる場合に導出を行う。例.以下の節からの導出を考える。を得ることができる。反駁による証明.反駁(はんばく、)とは、節の集合からの導出により空節□を導くことである。反駁については以下の定理が成り立つ。これはエルブランの定理を導出に応用したものになっている。例.証明したい論理式の否定は以下の節である。証明戦略.上座部仏教においては、十福業事のひとつである。大乗仏教において.世親(天親)は、「礼拝、讃歎、観察、作願、回向」と五念門を説き、往生浄土のための行の中、自ら修めた諸功徳をすべての衆生に回向して、ともに浄土に往生して仏となることを重要な項目としてあげている。往還回向.具体的には、江戸時代讃岐の庄松という妙好人が「私が捨てた念仏を喜んで拾う者がいる」と言うように、称名の声を聞いた時に、浄土からこの我々に働きかけているすがたと感じて、それに応えて称名をする姿を言う。回向文(普廻向).偈文は宗旨によって異なる。チベット自治区の最西部を占めるガリ地区という呼称は、この名称を採用したものである。行政裁量行政裁量(ぎょうせいさいりょう)とは、行政行為をするに当たり、根拠法令の解釈適用につき行政庁に許された判断の余地。概要.自由裁量.便宜裁量、自由裁量処分ともいわれる。目的または公益に適するかの裁量である。要件該当性についての要件裁量と、いかなる行為をするかについての効果裁量に分けられる。以下の行為がある。要件裁量.要件裁量(判断裁量)とは、行政裁量のうち、要件判断について認めるもの。法令が多義的・概括的・不確定な概念を用いている場合は、要件裁量が認められるとされる。たとえば、非行があった場合に処分が行われるとされている場合、何が非行かについての裁量。効果裁量.効果裁量(行為裁量・選択裁量)とは、一般に、行政裁量のうち、行為判断について認めるもの。時の裁量、手続の裁量をこれに含める場合もある。