…かっこ内のラテン語名(*印以外のすべてにつけられている)は,古くから用いられている略称である。以上の(3),表は,正確には〈定言的三段論法〉と呼ばれ,次の(4),(5),(6)とは区別されている(以下において,p,q,rは任意の命題を表すものとする)。 (4)〈“pならばq”,“qならばr”⇒“pならばr”〉という型の推論は〈純粋仮言三段論法〉,〈“pならばq”,“p”⇒“q”〉は〈仮言三段論法〉の〈肯定式〉,〈“pならばq”,“qでない”⇒“pでない”〉は同論法の〈否定式〉と呼ばれている。…
※「定言的三段論法」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
新暦の 4月後半から 5月の,梅雨前に日本列島が大きな移動性高気圧に覆われたときの晴天。発現期間は短い。もともとは旧暦 5月が梅雨にあたることから,梅雨の晴れ間の意味で,梅雨晴れ(つゆばれ)とも呼ばれ...