返り点に対する「括弧」の用法。

（01） １　　　　　　（１）∀ｘ｛日本ｘ→∃ｙ［高市ｙ＆女性ｙ＆総理大臣ｙｘ＆∀ｚ（総理大臣ｚｘ→ｙ＝ｚ）］｝　Ａ １　　　　　　（２）　　　日本ａ→∃ｙ［高市ｙ＆女性ｙ＆総理大臣ｙａ＆∀ｚ（総理大臣ｚａ→ｙ＝ｚ）］　　１ＵＥ 　３　　　　　（３）　　　日本ａ　　　　　...

［01］ 皆さん、引っ越しの準備、あるいは、引っ越しは既に完了されたでしょうか？ ［02］ 私の場合は、約１カ月前に、「はてな」に引っ越したのですが、そのときは、「１，４００」近くも記事があるのに、何故か、３０分ほどで、引っ込しが完了しました。 ［03］ というわけで...

（01） （02） （ⅰ）「結論」として、 （ⅱ）「 控訴審判決 （令和＃年＃月＃＃日）」は、 （ⅲ）「 添付文書 」に関して、 （ⅳ）「法律上の事実推定」による、 （ⅴ）「証明責任の転換」を認めた、 （ⅵ）「 判例 （平成８年１月２３日）」に、 （ⅶ）「 違反...

（01） わが国においては、 民事訴訟 を追行するためには必ずしも弁護士を選任しなければならないといういう考え方（弁護士強制主義）は採用していない。― 中略 ―、ただし、本人訴訟の当事者に、相手方の主張・陳述を理解し、自らも主張・陳述をする能力（弁論能力）がないとみられれば、...

（01） １「 超 」 絶望 の行政訴訟 　―中略― 行政事件 についてまとも審理をする裁判官は １０人に１人 である 。ほとんどの裁判官は、訴訟要件の具備について事細かに調べ、若干でも問題があると鬼に首でも取ったように却下する。その際には、半世紀以上も前のカビの生えたよ...

（01） （∨－導入（∨Ｉ） ∨－導入（ 選言導入 ） の規則は ∨Ｉと名づけられる．任意の命題が前提として与えられたならば、∨Ｉは、その命題と任意の命題との選言を結論として導出することを許す。従って、前提としてのＰから、Ｐ∨Ｑを結論として、あるいはＱ∨Ｐを結論として導出す...

（01） （３）　 未 知と 既 知 この組み合わせは次のような場合に現われる。 　私 が 大野 です。 これは、「 大野 さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「 大野 」なる人物はすでに登場していて 既 知である。とこ...

（01） ド・モルガンが、明らかに健全であるにもかかわらず、伝統的論理学のわくぐみのなかでは取り扱うことができなかった論証として挙げた、有名なま簡単な論証がある。 There is a famouse and simple arugument,cited by de Mor...