とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀ と存在量化子 ∃ とがある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた。
述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算と呼び、述語論理は非形式的でより直観的なものとする見方もある。
様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。
メリメ
三野谷村
三野谷村（みのやむら）は群馬県の南東部、邑楽郡に属していた村。
行政区画.
那曲県
嚏
南橘村
南橘村（みなみたちばなむら）は群馬県の中部、勢多郡に属していた村。
行政.
歴代村長
青森県立むつ工業高等学校
概要.
アクセス.
沿革.
平成になってから、各棟、体育館などの大改修工事が行われる
進路.
統合案.
指 (松本清張)
あらすじ.
ホステスの福江弓子は、帰宅途中で御茶ノ水の喫茶店に立ち寄り、バーのマダム・生方恒子と相席になる。気品ある色気を湛えた恒子に話しかけられ、同性ながら惹かれた弓子は、目白にある恒子の高級マンションについていく。泊まっていくよう誘われた弓子の脚の上に、恒子の足先が乗ってきた…。恒子はチワワを飼っていたが、弓子は犬が自分たちの関係をのぞいているような気がして、その存在が気になる。弓子と恒子の関係はマンションの管理人・細井ヨシ子も承知していたが、ヨシ子は恒子に好意的で、二人の関係を他の人に漏らす心配はないと弓子は思っていたが……。
テレビドラマ.
まじめにふまじめかいけつゾロリなぞのお宝大さくせん
ボンバーマンキャラクター一覧
ボンバーマンキャラクター一覧（ボンバーマンキャラクターいちらん）は、ボンバーマンシリーズに登場するキャラクターの一覧項目。
『』でくぎられていない節は、シリーズやチーム名など。共通キャラクターは、『』ごとの作品には区切っていない。
共通キャラクター.
ボンバーマン.