あるいくつかの命題(前提)から、別の命題(結論)を導く。三段論法.ふたつ(以上)の命題(前提)から、ひとつの命題(結論)を導く。前提に一つ以上の全称命題を含む事が典型的。両刀論法.同値の推論.帰納的推論.実験や経験などによるいくつかの特別な場合から、一般的な法則を導き出す。アブダクション(仮説形成).仮説を導出する推論。確率推論.確率値を振った推論のこと。詳細はベイズ推定()やベイジアンネットワークを参照。ハルゼミ(春蝉、春蟬、学名:)は、カメムシ目(半翅目)・セミ科に分類されるセミの一種。日本と中国各地のマツ林に生息する小型のセミで、和名通り春に成虫が発生する。晩春や初夏を表す季語「松蝉」(まつぜみ)はハルゼミを指す。特徴.日本列島では本州・四国・九州、日本以外では中国にも分布する。ある程度の規模があるマツ林に生息するが、マツ林の外に出ることは少なく、生息域は局所的である。市街地にはまず出現しないが、周囲の山林で見られる場合がある。日本ではマツクイムシによるマツ林の減少、さらにマツクイムシ防除の農薬散布も追い討ちをかけ、ハルゼミの生息地は各地で減少している。各自治体レベルでの絶滅危惧種指定が多い。形態.成虫.生態.サトウキビの食害.分布.日本(沖縄本島・宮古島・石垣島・西表島など)・台湾ニイニイゼミ特徴.ニイニイゼミとその近縁種の抜け殻は小さくて丸っこく、全身に泥をかぶっているので、他のセミの抜け殻と容易に区別がつく。また、他種に比べて木の幹や根元などの低い場所に多い。生態.平地の明るい雑木林に生息し、都市部の緑地などでも見られるが、幼虫が生存するには湿気を多く含んだ土壌が必要で、乾燥する公園などでは数が少ない。ただし後述のように、近年は都市部で復活傾向も見られる。ニイニイゼミの復活.上述のようにニイニイゼミは乾燥した環境に弱いセミとされてきたが、近年の増加傾向を見る限り、乾燥への耐性を徐々に身につけつつある可能性がある。一方で、地球温暖化により年降水量、特に初夏から秋にかけての雨量が増加傾向にあることから、生育環境が変化している可能性もある。ちなみに、田園地帯では昔も今もごく普通のセミである。東北地方での増加傾向.東北地方では、地球温暖化等を背景に、近年はニイニイゼミの数が増加している。