stanford-oval/wikipedia huggingface dataset:
H&K MSG90

| --- | --- |
 H&K MSG90A1
H&K MSG90
種類:  軍用狙撃銃
製造国:   ドイツ
設計・製造:  H&K
年代:  現代
仕様
種別:  セミオートマチックライフル
口径:  7.62mm
銃身長:  600mm
ライフリング:  4条右回り
使用弾薬:  7.62x51mm NATO弾
装弾数:  5発 10発 20発
作動方式:  ローラーディレイドブローバック
全長:  1,165mm
重量:  6,400g
有効射程:  700m
歴史　
テンプレートを表示
H&K MSG90は、1987年にドイツのH&K社が開発した半自動式狙撃銃である。
MSGは"Militärisches Scharfschützengewehr"の略で、ドイツ語で"軍用狙撃銃"を意味し、90は生産開始年の1990年を表す。
概要

H&K G3の技術を流用して開発されたH&K PSG1は、連射可能な狙撃用ライフルとして優秀な性能であった。しかし、それゆえに値段が7,000ドルと非常に高額だったことに加え、銃を長距離持ち運ぶ必要性が低い警察系特殊部隊向けに開発されたためか、全備重量が8.1kgと重かった。そのため、軍隊系部隊の使用を考慮し、数々の変更によってコストダウンした上でPSG1と同等の性能を持つG3自動小銃を原型としたセミオートマチック狙撃銃が求められ、それに答えて開発されたものがこのMSG90である。
射撃精度はPSG1とほぼ同等の上、1.7kgの減量にも成功し、PSG1の性能はそのままに、軍用としての使用でも苦にならない様に改良された。
湾岸戦争でデルタフォースなどの特殊部隊が使用した実績もあり、1997年にはアメリカ軍の要請でバックアップ用アイアンサイト（H&K G8タイプ）やマズルフラッシュを低減させるフラッシュハイダーを装備したMSG90A1が生産されている。その後、二脚を変更したMSG90A2も開発された。
特徴

前述のようにPSG1の廉価版にあたり、G3SG/1とPSG1の中間に位置する。警察用として開発されたPSG1とは異なり、軍用として開発され、PSG1とは
PSG1と同じトリガーシステムながら、銃身を短くした。
フレームはG3と同様のものを使用、ただし両側面にはPSG1に準じた強化バーを備える。
スコープをカーレスヘリオス×6に変更。
野戦での携行性を高めた。
スコープの着脱が可能。
といった差異がある。
採用国

MSG90は、開発国のドイツにはすでにPSG1・G3SG/1があったためか軍用としては納入されなかったが、アメリカ軍に採用され、アメリカ陸軍の特殊部隊デルタフォース、グリーンベレー、アメリカ海軍の特殊部隊ネイビーシールズなどの部隊でも導入されている他、日本の海上自衛隊特別警備隊（SBU）でも使用されている[要出典]。
インドネシア
インドネシア陸軍特殊作戦部隊「Komando Pasukan Khusus（Kopassus）」
インドネシア海軍戦闘水泳隊員部隊「Komando Pasukan Katak（KOPASKA）」
韓国
大韓民国海軍特殊戦旅団
ネパール
ネパール陸軍（英語版）
ノルウェー
ノルウェー陸軍特殊部隊
ノルウェー海軍特殊部隊
フランス
フランス陸軍第1海兵歩兵落下傘連隊
マレーシア
マレーシア陸軍テロ対策特殊部隊「Grup Gerak Khas（GGK）」
マレーシア海軍海上テロ対策特殊部隊「Pasukan Khas Laut（PASKAL）」
メキシコ
メキシコ陸軍がMSG90 SDNを使用。
リトアニア
リトアニア軍
日本
海上自衛隊
2009年のスーパースポーツ世界選手権

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
2009年のスーパースポーツ世界選手権 
| 前年: | 2008 | 翌年: | 2010 |
2009年のスーパースポーツ世界選手権は、F.I.M.が主催するスーパースポーツ世界選手権の第11回目のシーズン。3月1日のフィリップ・アイランド・サーキットで開幕、10月25日のアウトードロモ・インテルナシオナル・ド・アルガルヴェで閉幕し、全14戦でタイトルが争われた。
2009年の開催スケジュールと勝者

| ラウンド | 開催国 | サーキット | 開催日 | ポールポジション | ファステストラップ | 優勝者 | 優勝チーム | レポート |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  オーストラリア | フィリップ・アイランド・サーキット | 3月1日 |  ケナン・ソフォーグル |  アンドリュー・ピット |  ケナン・ソフォーグル | テン・ケート・ホンダ | Report |
| 2 |  カタール | ロサイル・インターナショナル・サーキット | 3月14日 |  カル・クラッチロー |  アンドリュー・ピット |  ユージーン・ラバティ | パーカルガー・ホンダ | Report |
| 3 |  スペイン | バレンシア・サーキット | 4月5日 |  カル・クラッチロー |  カル・クラッチロー |  カル・クラッチロー | ヤマハ・ワールド・スーパースポーツ | Report |
| 4 |  オランダ | TTサーキット・アッセン | 4月26日 |  カル・クラッチロー |  カル・クラッチロー |  ユージーン・ラバティ | パーカルガー・ホンダ | Report |
| 5 |  イタリア | モンツァ・サーキット | 5月10日 |  カル・クラッチロー |  カル・クラッチロー |  カル・クラッチロー | ヤマハ・ワールド・スーパースポーツ | Report |
| 6 |  南アフリカ共和国 | キャラミ | 5月17日 |  カル・クラッチロー |  ユージーン・ラバティ |  ユージーン・ラバティ | パーカルガー・ホンダ | Report |
| 7 |  アメリカ合衆国 | ミラー・モータースポーツパーク | 5月31日 |  ジョアン・ラスコーツ |  ケナン・ソフォーグル |  ケナン・ソフォーグル | テン・ケート・ホンダ | Report |
| 8 |  サンマリノ | ミサノ・サーキット | 6月21日 |  ミケーレ・ピロ |  カル・クラッチロー |  カル・クラッチロー | ヤマハ・ワールド・スーパースポーツ | Report |
| 9 |  イギリス | ドニントン・パーク | 6月28日 |  カル・クラッチロー |  カル・クラッチロー |  カル・クラッチロー | ヤマハ・ワールド・スーパースポーツ | Report |
| 10 |  チェコ | ブルノ・サーキット | 7月26日 |  カル・クラッチロー |  カル・クラッチロー |  ファビアン・フォレ | ヤマハ・ワールド・スーパースポーツ | Report |
| 11 |  ドイツ | ニュルブルクリンク | 9月6日 |  カル・クラッチロー |  カル・クラッチロー |  カル・クラッチロー | ヤマハ・ワールド・スーパースポーツ | Report |
| 12 |  イタリア | イモラ・サーキット | 9月27日 |  カル・クラッチロー |  カル・クラッチロー |  ケナン・ソフォーグル | テン・ケート・ホンダ | Report |
| 13 |  フランス | マニクール・サーキット | 10月4日 |  カル・クラッチロー |  カル・クラッチロー |  ジョアン・ラスコーツ | プロヴェック・カワサキ | Report |
| 14 |  ポルトガル | アウトードロモ・インテルナシオナル・ド・アルガルヴェ | 10月25日 |  ユージーン・ラバティ |  ジョアン・ラスコーツ |  ユージーン・ラバティ | パーカルガー・ホンダ | Report |
レース結果とランキング > マニファクチャラー

| 順位 | マニファクチャラー | AUS  | QAT  | SPA  | NED  | ITA  | RSA  | USA  | SMR  | GBR  | CZE  | GER  | ITA  | FRA  | POR  | ポイント |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  ホンダ | 1 | 1 | 2 | 1 | 4 | 1 | 1 | 2 | 4 | 2 | 2 | 1 | 3 | 1 | 191 |
| 2 |  ヤマハ | 4 | 3 | 1 | 2 | 1 | 2 | 3 | 1 | 1 | 1 | 1 | 3 | 2 | 4 | 185 |
| 3 |  カワサキ | 8 | 13 | 5 | 3 | 2 | 4 | 4 | 4 | 2 | 3 | 3 | 7 | 1 | 13 | 117 |
| 4 |  トライアンフ | 10 | 7 | Ret | 12 | 8 | 7 | 6 | 9 | 3 | 8 | 8 | 4 | 16 | 3 | 69 |
| 5 |  スズキ | 13 | 10 | 8 | 8 | 13 | Ret | 14 |  |  |  |  |  |  |  | 30 |
参加ライダー

エントリーリストは2009年1月15日に公式発表された。
| チーム | コンストラクター | 車両 | 車番 | ライダー |
| --- | --- | --- | --- | --- |
| HANNspree テン・ケート・ホンダ | ホンダ | ホンダ・CBR600RR | 1 |  アンドリュー・ピット |
| HANNspree テン・ケート・ホンダ | ホンダ | ホンダ・CBR600RR | 54 |  ケナン・ソフォーグル |
| ヤマハ・ワールド・スーパースポーツ・チーム | ヤマハ | ヤマハ・YZF-R6 | 35 |  カル・クラッチロー |
| ヤマハ・ワールド・スーパースポーツ・チーム | ヤマハ | ヤマハ・YZF-R6 | 99 |  ファビアン・フォレ |
| スティッギー・モータースポーツ AB | ホンダ | ホンダ・CBR600RR | 13 |  アンソニー・ウエスト |
| スティッギー・モータースポーツ AB | ホンダ | ホンダ・CBR600RR | 105 |  ジャンルカ・ビジエロ |
| パーカルガー・ホンダ | ホンダ | ホンダ・CBR600RR | 50 |  ユージーン・ラバティ |
| パーカルガー・ホンダ | ホンダ | ホンダ・CBR600RR | 117 |  ミゲル・プライア |
| ホーギー・スズキ・チーム | スズキ | スズキ・GSX-R600 | 77 |  バリー・フェネマン |
| ホーギー・スズキ・チーム | スズキ | スズキ・GSX-R600 | 78 |  シャウン・ジェロニミ |
| カワサキ・プロヴェック・モトカードドットコム | カワサキ | カワサキ・ZX-6R | 21 |  藤原克昭 |
| カワサキ・プロヴェック・モトカードドットコム | カワサキ | カワサキ・ZX-6R | 26 |  ジョアン・ラスコーツ |
| HANNspree ホンダ・アルテア | ホンダ | ホンダ・CBR600RR | 8 |  マーク・エイチソン |
| HANNspree ホンダ・アルテア | ホンダ | ホンダ・CBR600RR | 14 |  マシュー・ラグリブ |
| トライアンフ BE1 レーシング | トライアンフ | トライアンフ675 | 24 |  ギャリー・マッコイ |
| トライアンフ BE1 レーシング | トライアンフ | トライアンフ675 | 69 |  ジャンルカ・ナンネッリ |
| インターモト・チェコ | ホンダ | ホンダ・CBR600RR | 7 |  パトリック・フォスタレック |
| インターモト・チェコ | ホンダ | ホンダ・CBR600RR | 55 |  マッシモ・ロッコリ |
| ヤマハ・ロレンツィニ・バイ・レオーニ | ヤマハ | ヤマハ・YZF-R6 | 51 |  ミケーレ・ピロ |
| ヴァイデック・レーシング RES ソフトウェア | ホンダ | ホンダ・CBR600RR | 28 |  アリー・フォス |
| ヴァイデック・レーシング RES ソフトウェア | ホンダ | ホンダ・CBR600RR | 127 |  ロビン・ハームス |
| ECHO CRS グランプリ | ホンダ | ホンダ・CBR600RR | 32 |  ファブリツィオ・ライ |
| ECHO CRS グランプリ | ホンダ | ホンダ・CBR600RR | 83 |  ラッセル・ホランド |
| ファクトリー・レーシング | トライアンフ | トライアンフ675 | 19 |  パヴェル・スコペック |
| ファクトリー・レーシング | トライアンフ | トライアンフ675 | 96 |  マテジ・スマルツ |
| ホリディ・ジム・レーシング | ヤマハ | ヤマハ・YZF-R6 | 71 |  ホセ・カルロス・モリアス・クエンカ |
| ホリディ・ジム・レーシング | ヤマハ | ヤマハ・YZF-R6 | 88 |  ヤニック・グエラ |
| クジャ・レーシング | ホンダ | ホンダ・CBR600RR | 9 |  ダニロ・デローモ |
| RES ソフトウェア・ヴァイデック・レーシング | ホンダ | ホンダ・CBR600RR | 30 |  イェスコ・ギュンター |
| YZF ヤマハ | ヤマハ | ヤマハ・YZF-R6 | 5 |  ドニ・タタ・プラディタ |
全チームがピレリタイヤを使用。
ドネツク人民共和国 (ロシア連邦)

| --- | --- |
: この項目では、ロシアが併合を宣言したことにより設置したロシア連邦構成主体の共和国について説明しています。併合前の国については「ドネツク人民共和国」をご覧ください。
|  |
| --- | --- |
国旗: 国章
| --- | --- |
国歌: 讃えを受けよ、我が人民の共和国よ  
公用語: ロシア語
首府: ドネツク
首長: デニス・プシーリン
閣僚評議会議長: ビタリー・ホツェンコ（ロシア語版）
構成体種別: 共和国
連邦管区: 未定
経済地区: 未定
面積  - 総計:  N/Akm2
人口（2020年）  - 総計  - 人口密度  - 都市/地方比率:  2,253,560人 人/km2 N/A : N/A
時間帯: UTC +3（DST: ）モスクワ時間
ISO 3166-2:RU: 未定
番号: 未定
ウェブサイト: DPR Online 公式サイト
ドネツク人民共和国（ドネツクじんみんきょうわこく、ロシア語: Донецкая Народная Республика）は、2022年9月にロシアが住民投票によりドネツク人民共和国（ドネツィク州）の併合を一方的に宣言し、ロシアを構成する連邦構成主体として設置された共和国。ロシアに併合される前は、ドネツク人民共和国が独立した形で2014年から2022年までこの領土を支配していた。
歴史

2022年9月30日、ドネツク人民共和国はルガンスク人民共和国、ヘルソン州、ザポリージャ州と共にロシアによって一方的に併合された。この併合は、加盟国 （ロシアとウクライナの両方を含む） が国際連合憲章と国際法を遵守することが求められていることに基づいて、国際連合によって違法と見なされた。国連憲章は、ある国による別の国による領土の併合は、他の国が有権者に対して武力 （特に武力） を使用して脅迫したり、併合を支持するように国民投票を不正に操作したりする場合、違法であるとしている。ロシアは脅迫的な軍隊として文書化されており（具体的には、併合を支持する賛成票ではなく反対票を投じることを選択した場合、ウクライナ市民に対する殺害の脅迫）、このため、国連は結果を違法であると宣言し、すべての加盟国に承認しないよう求めた。9月30日現在、併合を支持する声明を発表した政府はなく、国連の勧告は現在、世界のすべての国が従っている。実際、国際紛争でしばしばロシアの側に立つインドやガーナのような国でさえ、ロシアに反対する声明を出している。ただし北朝鮮は、この併合は合法だとの声明を出している。
歴史 > 住民投票

「ロシア占領下のウクライナでの2022年の併合住民投票」も参照
ロシア中央選挙管理委員会がドネツク人民共和国のセクションを通じて発表した結果によると、99.23%（有権者数は2,116,800人）が併合を支持した。多くの票が、武装した職員の戸別訪問により集められたとされている。
歴史 > ウクライナ軍の攻撃

2022年10月16日、ドネツク市の市議会ビルで会合が開かれている途中にウクライナ軍からHIMARSで攻撃を受けたと報じられた。同日、モスクワのクレムリンが、「ウクライナがドネツク人民共和国にロケット弾攻撃を実行した」と非難し、2人が負傷したと述べた。
12月、ドネツク市内のホテルが砲撃に遭い、ビタリー・ホツェンコ（ロシア語版）首相が負傷した。同じホテルにはロシア連邦元副首相ドミトリー・ロゴージンや国会議員も宿泊していた。
地理

東はロストフ州、西はウクライナ、南はザポロージェ州、北はルガンスク人民共和国と国境を接している。更に18 の地区、52 の都市、5 つの都市集落にそれぞれ分けられている。
地理 > 主な都市

ドネツク･･･州最大の都市
マリウポリ･･･州内二番目の都市
マキイフカ･･･州内三番目の都市
ゴルロフカ･･･州内四番目の都市
エナキエヴェ
アルチェモフスク
アヴディエフカ
ソレダル
以下の都市はウクライナ軍の支配下にあり、ウクライナに占領されている都市とされる。
クラマトルスク･･･ロシア管轄下に無い都市の中では州内最大の都市でウクライナ側の州都
スラヴャンスク･･･管轄が及んでない地域では2番目の大きな都市
クラスノアルミンスク
リマン
シヴェルスク
経済

ドネツク鉄道、マリウポリ港、ドネツク国際空港や、マリウポリとクラマトルスクに位置する空港を始めとした高速道路などの交通インフラが存在する。またドネツクとアゾフは経済特区として整備が進められ、優遇税制が導入された。
ドネツク人民共和国の都市などを記載した地図。
コーセイ

コーセイは日本の競走馬、繁殖牝馬。主な勝ち鞍に1989年の中山記念、1987年の報知杯4歳牝馬特別など。1986年度の優駿賞最優秀3歳牝馬に選出された。また、出自が430万円で馬主に頒布された抽せん馬と呼ばれる競走馬ながら、重賞4勝を挙げクラシックでも好走したため「抽せん馬の星」とも呼ばれた。
経歴

特記事項なき場合、本節の出典はJBISサーチ
1986年10月4日、東京競馬場での新馬戦でデビューし、8馬身差で1着。2走目のいちょう特別はメリーナイスの5着となったが、続く抽せん馬特別競走を6馬身差で勝利し、年末のテレビ東京賞3歳牝馬ステークスも7番人気で勝利。3歳時は4戦して重賞1つを含む3勝とし、1986年度の優駿賞最優秀3歳牝馬に選ばれた。4歳となり、初戦のクイーンカップでナカミジュリアンの2着となったのち西下して報知杯4歳牝馬特別で重賞2勝目。桜花賞ではマックスビューティとは差のない2番人気に支持され、レースでも2着に入る。続く優駿牝馬ではマックスビューティの4着に入ったが、その後骨折による1年近い休養に入る。
1988年4月、復帰戦となる新潟競馬場の谷川岳ステークスでガルダンの2着に入り、新潟大賞典4着を経て出走の七夕賞で重賞3勝目を挙げた。続く3戦は関屋記念10着、休み明けの愛知杯7着、有馬記念ではオグリキャップの10着として6着以下の成績が続いたが、1989年を迎えてアメリカジョッキークラブカップ4着、目黒記念5着を経て出走の中山記念を9番人気で勝利して重賞4勝目とした。続く安田記念でバンブーメモリーの8着に入ったのが最後の競馬となった。
競走成績

以下の内容は、JBISサーチ、netkeiba.comに基づく。
| 年月日 | 競馬場 | 競走名 | 格 | 距離（馬場） | 頭数 | 枠番 | 馬番 | オッズ（人気） | 着順 | タイム （上り3F/4F） | 着差 | 騎手 | 斤量 [kg] | 勝ち馬/（2着馬） |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1986.10.04 | 東京 | 3歳新馬 |  | ダ1200m（良） | 7 | 7 | 7 | 006.30（4人） | 01着 | 01:12.9 (48.9) | -1.3 | 鈴木寿 | 51 | （シートバー） |
| 0000.10.25 | 東京 | いちょう特別 | OP | 芝1600m（良） | 7 | 3 | 3 | 006.30（3人） | 05着 | 01:36.5 (47.4) | -0.4 | 鈴木寿 | 53 | メリーナイス |
| 0000.11.15 | 東京 | 3歳抽せん馬特別 | 400 | 芝1600m（良） | 6 | 1 | 1 | 001.10（1人） | 01着 | 01:38.0 (48.1) | -1.0 | 鈴木寿 | 54 | （タニタケシバオー） |
| 0000.12.13 | 中山 | テレビ東京賞3歳牝馬S | GIII | 芝1600m（良） | 14 | 7 | 11 | 017.40（7人） | 01着 | 01:35.7 (36.1) | -0.2 | 増沢末夫 | 53 | （ウインホイッスル） |
| 1987.02.01 | 東京 | クイーンC | GIII | 芝1600m（良） | 12 | 1 | 1 | 003.30（2人） | 02着 | 01:35.8 (47.3) | -0.0 | 増沢末夫 | 54 | ナカミジュリアン |
| 0000.03.22 | 阪神 | 報知杯4歳牝馬特別 | GII | 芝1400m（良） | 14 | 8 | 14 | 004.60（3人） | 01着 | 01:24.5 (49.0) | -0.1 | 増沢末夫 | 54 | （コメーテス） |
| 0000.04.12 | 阪神 | 桜花賞 | GI | 芝1600m（良） | 18 | 5 | 9 | 003.60（2人） | 02着 | 01:36.4 (48.2) | -1.3 | 増沢末夫 | 55 | マックスビューティ |
| 0000.05.24 | 東京 | 優駿牝馬 | GI | 芝2400m（重） | 24 | 5 | 15 | 006.70（2人） | 04着 | 02:31.4 (49.2) | -0.5 | 増沢末夫 | 55 | マックスビューティ |
| 1988.04.24 | 新潟 | 谷川岳S | OP | 芝1600m（稍） | 12 | 7 | 10 | 008.40（5人） | 02着 | 01:35.5 (48.1) | -0.0 | 大崎昭一 | 57 | ガルダン |
| 0000.05.15 | 新潟 | 新潟大賞典 | GIII | 芝2200m（稍） | 11 | 1 | 1 | 005.50（1人） | 04着 | 02:14.8 (48.3) | -0.2 | 大崎昭一 | 56 | メークアスマート |
| 0000.07.10 | 福島 | 七夕賞 | GIII | 芝2000m（不） | 12 | 8 | 12 | 006.20（2人） | 01着 | 02:04.0 (38.6) | -0.0 | 増沢末夫 | 56 | （ティードリーム） |
| 0000.08.07 | 福島 | 関屋記念 | GIII | 芝1200m（稍） | 14 | 5 | 7 | 003.80（1人） | 10着 | 01:12.0 (37.5) | -1.1 | 増沢末夫 | 57 | ヒシノリフオー |
| 0000.12.11 | 中京 | 愛知杯 | GIII | 芝2000m（良） | 16 | 8 | 16 | 017.90（9人） | 07着 | 01:59.8 (36.0) | -1.6 | 徳吉一己 | 57 | カツトクシン |
| 0000.12.25 | 中山 | 有馬記念 | GI | 芝2500m（良） | 13 | 1 | 2 | 126.5（13人） | 10着 | 02:35.0 (36.6) | -1.1 | 大崎昭一 | 55 | オグリキャップ |
| 1989.01.22 | 中山 | アメリカジョッキークラブC | GII | 芝2200m（良） | 10 | 7 | 8 | 016.90（6人） | 04着 | 02:16.0 (35.9) | -0.4 | 大崎昭一 | 55 | ランニングフリー |
| 0000.02.19 | 東京 | 目黒記念 | GII | 芝2500m（重） | 12 | 1 | 1 | 007.90（4人） | 05着 | 02:38.3 (48.9) | -1.5 | 大崎昭一 | 57 | キリパワー |
| 0000.03.12 | 中山 | 中山記念 | GII | 芝1800m（良） | 13 | 3 | 3 | 027.50（9人） | 01着 | 01:48.7 (36.6) | -0.2 | 鈴木寿 | 55 | （カイラスアモン） |
| 0000.05.14 | 東京 | 安田記念 | GI | 芝1600m（稍） | 17 | 4 | 8 | 016.70（9人） | 08着 | 01:35.8 (49.0) | -1.5 | 鈴木寿 | 55 | バンブーメモリー |
引退後

競走馬引退後はタイヘイ牧場で繁殖牝馬となり、2003年に繁殖生活から引退。以後は引退名馬けい養展示事業の助成を受け、北海道浦河町の渡辺牧場で余生を過ごしていた。功労馬時代には、同じく渡辺牧場に居たナイスネイチャの母ウラカワミユキと仲がよく、年上のウラカワミユキが頼るように寄り添っていたという。2014年6月15日未明に立てなくなっていたところを発見され、朝に安楽死の処置がとられた。産駒は目立った成績を残さなかったが、8番仔トゥギャザーアゲンは日本のみならず韓国でも競走生活を送った。
引退後 > 産駒一覧

|  | 生年 | 馬名 | 性 | 毛色 | 父 | 馬主 | 管理調教師 | 戦績 | 主な勝利競走 | 供用 | 出典 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 初仔 | 1992年 | ジェイリーガー | 牡 | 栗毛 | サッカーボーイ | 浅川清 →福留砂子 | 栗東・福永甲 →高知・松岡利男 | 4戦0勝（地方出走歴なし） |  |  |  |
| 2番仔 | 1993年 | シンメイオウヒ | 牝 | 鹿毛 | アンバーシャダイ | 織田芳一 | 栗東・梅田康雄 | 7戦0勝 |  | （繁殖牝馬） |  |
| 3番仔 | 1994年 | アイアムザフィリー | 牝 | 栗毛 | シンボリルドルフ | （有）クローバークラブ | 美浦・二本柳俊夫 →美浦・高橋裕 | 4戦0勝 |  | （繁殖牝馬） |  |
| 4番仔 | 1995年 | （コーセイの1995） | 牡 | 栗毛 | ミホノブルボン |  |  |  |  |  |  |
| 5番仔 | 1996年 | バビロンフォンテン | 牡 | 鹿毛 | ラストタイクーン | 吉橋計 | 船橋・山浦武 | 8戦3勝 |  |  |  |
| 6番仔 | 1997年 | ハギサカヒカル | 牡 | 栗毛 | ソヴィエトスター | 森本祐太郎 | 笠松・伊藤強一 | 3戦1勝 |  |  |  |
| 7番仔 | 1998年 | ゲンパチザガッツ | 牡→騸 | 栗毛 | トニービン | 平野武志 →千田裕美 →山本雄司 →土山弘昭 | 美浦・加藤修甫 →水沢・千田知幸 →上山・鈴木長次 →荒尾・和田正美 | 33戦1勝（うち地方31戦1勝） |  |  |  |
| 8番仔 | 1999年 | トゥギャザーアゲン | 牝 | 鹿毛 | メジロライアン | （株）タイヘイ牧場 →？ | 栗東・松元茂樹 →？ | 21戦2勝（うち韓国11戦2勝） |  |  |  |
| 9番仔 | 2000年 | ガッサンオペラオー | 牡 | 鹿毛 | オペラハウス | 千葉一郎 | 水沢・酒井仁 | 26戦1勝 |  |  |  |
| 10番仔 | 2001年 | ユルセ | 牡 | 鹿毛 | ウォーニング | 小田切有一 | 栗東・音無秀孝 →園田・中塚猛 | 23戦2勝（うち地方14戦1勝） |  |  |  |
| 11番仔 | 2003年 | アースキャンドル | 牝 | 栗毛 | キャプテンスティーヴ | 松山増男 →竹原孝昭 | 北海道・檜森邦夫 →佐賀・土井道隆 →佐賀・吉田昭 | 16戦0勝 |  |  |  |
血統表

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| コーセイの血統 | コーセイの血統 | コーセイの血統 | （血統表の出典） | （血統表の出典） |
| 父系 | オリオール系  | オリオール系  | オリオール系  |  |
| 父 タイテエム 1969 鹿毛 | 父の父*セントクレスピン Saint Crespin 1956 栗毛 | Aureole | Hyperion | Hyperion |
| 父 タイテエム 1969 鹿毛 | 父の父*セントクレスピン Saint Crespin 1956 栗毛 | Aureole | Angelola | Angelola |
| 父 タイテエム 1969 鹿毛 | 父の父*セントクレスピン Saint Crespin 1956 栗毛 | Neocracy | Nearco | Nearco |
| 父 タイテエム 1969 鹿毛 | 父の父*セントクレスピン Saint Crespin 1956 栗毛 | Neocracy | Harina | Harina |
| 父 タイテエム 1969 鹿毛 | 父の母*テーシルダ Tehsilda 1963 黒鹿毛 | *ヴェンチア Venture | Relic | Relic |
| 父 タイテエム 1969 鹿毛 | 父の母*テーシルダ Tehsilda 1963 黒鹿毛 | *ヴェンチア Venture | Rose o'Lynn | Rose o'Lynn |
| 父 タイテエム 1969 鹿毛 | 父の母*テーシルダ Tehsilda 1963 黒鹿毛 | Temoignage | Tulyar | Tulyar |
| 父 タイテエム 1969 鹿毛 | 父の母*テーシルダ Tehsilda 1963 黒鹿毛 | Temoignage | Mehmany | Mehmany |
| 母 ハマノルーフ 1970 栗毛 | 母の父*サンプルーフ Sunproof 1959 栗毛 | Alycidon | Donatello | Donatello |
| 母 ハマノルーフ 1970 栗毛 | 母の父*サンプルーフ Sunproof 1959 栗毛 | Alycidon | Aurora | Aurora |
| 母 ハマノルーフ 1970 栗毛 | 母の父*サンプルーフ Sunproof 1959 栗毛 | Sonsa | Hyperion | Hyperion |
| 母 ハマノルーフ 1970 栗毛 | 母の父*サンプルーフ Sunproof 1959 栗毛 | Sonsa | Duplicity | Duplicity |
| 母 ハマノルーフ 1970 栗毛 | 母の母ボストホマレ 1958 鹿毛 | ボストニアン | *セフト | *セフト |
| 母 ハマノルーフ 1970 栗毛 | 母の母ボストホマレ 1958 鹿毛 | ボストニアン | 神正 | 神正 |
| 母 ハマノルーフ 1970 栗毛 | 母の母ボストホマレ 1958 鹿毛 | テツノホマレ | 大鵬 | 大鵬 |
| 母 ハマノルーフ 1970 栗毛 | 母の母ボストホマレ 1958 鹿毛 | テツノホマレ | コロナ | コロナ |
| 母系(F-No.) | クレイグダーロツチ(GB)系(FN:11-c) | クレイグダーロツチ(GB)系(FN:11-c) | クレイグダーロツチ(GB)系(FN:11-c) |  |
| 5代内の近親交配 | Hyperion 4 × 5 ･ 4 =15.63%、Donatello 5 × 4 = 9.38%、Neocracy 3 ･ 5（父内） = 15.63% | Hyperion 4 × 5 ･ 4 =15.63%、Donatello 5 × 4 = 9.38%、Neocracy 3 ･ 5（父内） = 15.63% | Hyperion 4 × 5 ･ 4 =15.63%、Donatello 5 × 4 = 9.38%、Neocracy 3 ･ 5（父内） = 15.63% |  |
出典: ↑    ↑    ↑    ↑   
近親にロングハヤブサ（阪神3歳ステークスなど）、マックスキャンドゥ（報知杯4歳牝馬特別、サンスポ賞4歳牝馬特別）
ビルキルカラFC

ビルキルカラ・フットボールクラブ（英: Birkirkara Football Club）は、マルタのビルキルカラにホームを置くサッカークラブである。1950年創設。2019-20シーズンはマルタ・プレミアリーグに所属する。
ビルキルカラFCは欧州クラブ協会(ECA) 創立メンバーのひとつである。
タイトル > 国内タイトル

マルタ・プレミアリーグ：4回
1999-00, 2005–06, 2009–10, 2012-13
マルタ・カップ：6回
2001-02, 2002-03, 2004-05, 2007-08, 2014–15, 2022-23
マルタ・スーパーカップ：7回
2002, 2003, 2004, 2005, 2006, 2013, 2014
Euro Challenge/Lowenbrau Cup：3回
1998, 2003, 2008
MFA Super 5 Lottery Tournament：4回
1998, 2002, 2004, 2006
過去の成績

| シーズン | ディビジョン> リーグ | ディビジョン> 順位 | ディビジョン> 試 | ディビジョン> 勝 | ディビジョン> 分 | ディビジョン> 敗 | ディビジョン> 得 | ディビジョン> 失 | ディビジョン> 点 | マルタ・カップ |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2008-09 | マルタ・プレミアリーグ | 3位 | 28 | 12 | 7 | 9 | 43 | 45 | 27 | 準決勝敗退 |
| 2009-10 | マルタ・プレミアリーグ | 1位 | 28 | 20 | 4 | 4 | 64 | 32 | 45 | 準々決勝敗退 |
| 2010-11 | マルタ・プレミアリーグ | 3位 | 28 | 11 | 9 | 8 | 42 | 40 | 29 | 準決勝敗退 |
| 2011-12 | マルタ・プレミアリーグ | 3位 | 32 | 17 | 4 | 11 | 55 | 37 | 38 | 4回戦敗退 |
| 2012-13 | マルタ・プレミアリーグ | 1位 | 32 | 19 | 9 | 4 | 62 | 22 | 45 | 4回戦敗退 |
| 2013-14 | マルタ・プレミアリーグ | 2位 | 32 | 25 | 3 | 4 | 76 | 25 | 50 | 準々決勝敗退 |
| 2014-15 | マルタ・プレミアリーグ | 3位 | 33 | 19 | 7 | 7 | 59 | 31 | 43 | 優勝 |
| 2015-16 | マルタ・プレミアリーグ | 3位 | 33 | 20 | 8 | 5 | 64 | 29 | 47 | 準決勝敗退 |
| 2016-17 | マルタ・プレミアリーグ | 3位 | 33 | 18 | 8 | 7 | 64 | 30 | 62 | 3回戦敗退 |
| 2017-18 | マルタ・プレミアリーグ | 4位 | 26 | 15 | 2 | 9 | 44 | 28 | 47 | 準優勝 |
| 2018-19 | マルタ・プレミアリーグ | 7位 | 26 | 12 | 3 | 11 | 33 | 26 | 39 | 準決勝敗退 |
| 2019-20 | マルタ・プレミアリーグ | 5位 | 20 | 9 | 6 | 5 | 30 | 20 | 33 | 中止 |
| 2020-21 | マルタ・プレミアリーグ | 4位 | 23 | 13 | 5 | 5 | 45 | 25 | 44 | 中止 |
| 2021-22 | マルタ・プレミアリーグ | 5位 | 27 | 10 | 11 | 6 | 35 | 27 | 41 | 準々決勝敗退 |
| 2022-23 | マルタ・プレミアリーグ | 2位 | 26 | 14 | 8 | 4 | 50 | 20 | 50 | 優勝 |
欧州の成績

| シーズン | 大会 | ラウンド | 対戦相手 | ホーム | アウェー | 合計 |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 1997-98 |  UEFAカップ  | 予選1回戦 |  スパルタク・トルナヴァ | 0-1 | 1-3 | 1-4 |  |
| 1998-99 |  UEFAカップ  | 予選1回戦 |  シャフタール・ドネツク | 0-4 | 1-2 | 1-6 |  |
| 1999-00 |  UEFAカップ  | 予選ラウンド |  リンビーBK | 0-0 | 0-7 | 0-7 |  |
| 2000-01 |  UEFAチャンピオンズリーグ  | 予選1回戦 |  KR | 1-2 | 1-4 | 2-6 |  |
| 2001-02 |  UEFAカップ  | 予選ラウンド |  ロコモティヴィ・トビリシ | 0-0 | 1-1 | 1-1 (a) |  |
| 2001-02 |  UEFAカップ  | 1回戦 |  ディナモ・モスクワ | 0-0 | 0-1 | 0-1 |  |
| 2002-03 |  UEFAカップ  | 予選ラウンド |  メタルルフ・ザポリージャ | 0-0 | 0-3 | 0-3 |  |
| 2003-04 |  UEFAカップ  | 予選ラウンド |  フェレンツヴァーロシュ | 0-5 | 0-1 | 0-6 |  |
| 2004-05 |  UEFAカップ  | 予選1回戦 |  パルティザニ・ティラナ | 2-1 | 2-4 | 4-5 |  |
| 2005-06 |  UEFAカップ  | 予選1回戦 |  APOEL | 0-2 | 0-4 | 0-6 |  |
| 2006-07 |  UEFAチャンピオンズリーグ  | 予選1回戦 |  B36トースハウン | 0-3 | 2-2 | 2-5 |  |
| 2007 |  UEFAインタートトカップ  | 1回戦 |  マリボル | 0-3 | 1-2 | 1-5 |  |
| 2008-09 |  UEFAカップ  | 予選1回戦 |  ハイドゥク・スプリト | 0-3 | 0-4 | 0-7 |  |
| 2009-10 | UEFAヨーロッパリーグ | 予選1回戦 |  スラヴェン・ベルポ | 0-1 | 0-0 | 0-1 |  |
| 2010-11 | UEFAチャンピオンズリーグ | 予選1回戦 |  FCサンタ・コロマ | 4-3 | 3-0 | 7-3 |  |
| 2010-11 | UEFAチャンピオンズリーグ | 予選2回戦 |  ジリナ | 1-0 | 0-3 | 1-3 |  |
| 2011-12 | UEFAヨーロッパリーグ | 予選1回戦 |  ヴラズニア | 0-1 | 1-1 | 1-2 |  |
| 2012-13 | UEFAヨーロッパリーグ | 予選1回戦 |  メタルルグ・スコピエ | 2-2 | 0-0 | 2-2 (a) |  |
| 2013-14 | UEFAチャンピオンズリーグ | 予選2回戦 |  マリボル | 0-0 | 0-2 | 0-2 |  |
| 2014-15 | UEFAヨーロッパリーグ | 予選1回戦 |  ディオーシュジュール | 1-2 | 1-4 | 2-6 |  |
| 2015-16 | UEFAヨーロッパリーグ | 予選1回戦 |  ウリセス | 0-0 | 3-1 | 3-1 |  |
| 2015-16 | UEFAヨーロッパリーグ | 予選2回戦 |  ウェストハム・ユナイテッド | 1-0 | 0-1 | 1-1 (3-5 p) |  |
| 2016-17 | UEFAヨーロッパリーグ | 予選1回戦 |  シロキ・ブリイェグ | 2-0 | 1-1 | 3-1 |  |
| 2016-17 | UEFAヨーロッパリーグ | 予選2回戦 |  ハート・オブ・ミドロシアン | 0-0 | 2-1 | 2-1 |  |
| 2016-17 | UEFAヨーロッパリーグ | 予選3回戦 |  クラスノダール | 0-3 | 1-3 | 1-6 |  |
| 2018-19 |  UEFAヨーロッパリーグ  | 予選ラウンド |  KÍクラクスヴィーク | 1-1 | 1-2 | 2-3 |  |
| 2021-22 |  UEFAヨーロッパカンファレンスリーグ  | 予選1回戦 |  ラ・フィオリタ | 1-0 | 1-1 | 2-1 |  |
| 2021-22 |  UEFAヨーロッパカンファレンスリーグ  | 予選2回戦 |  オリンピア・リュブリャナ | 1-0 | 0-1 | 1-1  (4-5 p) |  |
歴代監督

スティーブン・アッツォパルディ (2001-2007)
ジョン・バッティギーグ (2008-2009)
ポール・ザミット (2009-2010)
パトリック・クルミ (2011)
ポール・ザミット (2011-2015)
ジョヴァンニ・テデスコ (2015, 2022-)
歴代所属選手

詳細は「Category:ビルキルカラFCの選手」を参照
ローウェン・マスカット 2009-2014, 2015-2017
ファブリツィオ・ミッコリ 2015
ランドリー・ムレモ 2017-
エコ・ステーション推進協会

財団法人エコ・ステーション推進協会（エコ・ステーションすいしんきょうかい、Japan Eco-Service Stations Association）は、経済産業省資源エネルギー庁所管の財団法人。
概要

所在：東京都千代田区平河町2-6-1 平河町ビル9階
設立：1993年4月24日
理事長：関正夫
解散：2007年3月31日
事業

エコ・ステーションの推進
地球環境のエネルギー改善
命題論理

命題論理（めいだいろんり、英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。
命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。
概要

命題論理の命題の取り扱いは普通、命題計算（）、または文計算（）と呼ぶ命題変数を原子式にするような形式的な推論の体系によってなされる。
命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。
推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理や相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、古典命題論理（）を指す（古典論理）。従って、本項目では古典命題論理について主に解説することとする。
一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現（整式）の集合、その表現のいくつかからなる部分集合（公理の集合）、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。
普通、それぞれの表現が数学の表現として具体的に解釈されるとき、表現の変形規則が一定の意味同等性を保つように与えられる。特に表現が論理体系そのものとして解釈されるときには「意味同等性」が論理的同等性のことを指すように変形規則が与えられる。この設定のもとでは変形規則によって与えられた表現から論理的に等価な表現を導くことができる。こういった変形規則による別の表現の導出について、特別な例として表現を単純化すること、与えられた表現が前もって区別された特別な表現（普通、論理学の公理だと解釈される）のうちどれかと等価かどうか決定すること、などが問題にされる。
命題論理における言語は命題変数（命題をはめ込む枠）と文演算子（結合子）からなっている。形式文法によって帰納的にその言語の表現や整式が、原子式や文演算子の一定の組みあわせとして定義される。公理の集合は空集合でも、空でない有限集合でも、可算無限集合でもいいし、あるいは公理図式によって与えられてもいい。加えて、意味論によって真かどうかの値付け（または解釈）が定められる。それによってどの整式が正しい、つまり定理であるかを決めることができるようになる。
以下では標準的な命題論理の大筋を解説する。しかしこの他にも、ほぼ等価ではあるが、言語を構成している演算子や変数が違ったり、あるいは公理や推論規則が違ったりして、ここで説明するものと見かけが異なる方法も存在する。
文法

言語の構成要素は
アルファベットの大文字は命題変数を表す。これらは原子式である。
以下の結合子（または論理演算子）を表す記号：「 \lnot 」(否定) 「 \land 」(連言) 「 \lor 」(選言) 「 \rightarrow 」(含意)。（「 P\rightarrow Q」は「 \lnot P\lor Q」と等価だ、などとしていくつかを他のものの短縮形だと見なしてこれより少ない演算子（と記号）でやることもできる。）電子メールなど使用できる文字が限られた環境では、論理的否定を表すのにチルダ「~」を用いたり、論理積を表すのにアンパサンド「&」を用いたりといった記号の代用もよく見られる。
開き括弧 ( と閉じ括弧 )
整式の集合は以下の規則によって帰納的に定義される。
基本：アルファベットの大文字は整式
帰納節 I: もし  \phi  が整式なら  \lnot \phi  も整式
帰納節 II:   \phi  と  \psi  が整式なら  (\phi \land \psi ) や  (\phi \lor \psi )、 (\phi \rightarrow \psi ) も整式
閉節：これ以外は整式でない
これらを繰り返し適用することでより複雑な整式が作られる。例えば
A は整式
\lnot A は整式
B は整式
(\lnot A\lor B) は整式
計算

命題論理は、主として整式同士の論理的関係性を示すために用いられる。このために、利用可能な（整式の）変形規則を使って、「証明」もしくは「展開」と呼ばれる手続きを行う。証明は、番号のついた複数の行からなる記述によって表現される。それぞれの行は、「根拠」もしくは「理由」をそえた、当該の整式を導き出すための単一の整式（論理式）とする。証明を行うために必要な仮定は、「前提」と注記し、証明のはじめの部分に置く。結論は最後の行に示す。すべての行の内容が、それ以前の行の内容に基づき、（整式の）変形規則を正しく適用して得られたものであるとき、証明が完了したとみなされる。（なお、タブローの方法という別の記述方法もある。）
計算 > 公理

本節では簡単のため、公理を持たない、あるいは同じことだが空な公理集合を持つ自然演繹体系を使うことにする。
計算 > 推論規則

ここでの命題計算では八つの推論規則を考える。これらの規則によって真だと仮定された式たちからほかの真な式を導くことができる。最初の六つは単に特定の整式をほかの整式から導けると述べている。一方で、最後の二つの前提では（まだ証明されていない）仮定を一時的に用いている。このことを指して、最初の六つの規則を非仮定的規則、最後の二つは仮定的規則であると言う。
計算 > 証明の例

A → Aを証明する。
下記にその証明の一例を挙げる（より厳密に証明しようとすればより多くのステップを要する）。
| 証明の例> 行番号 | 証明の例> 整式 | 証明の例> 根拠 |
| --- | --- | --- |
| 1 |  A | 前提 |
| 2 |  A\lor A | 1,論理和の導入 |
| 3 |  (A\lor A)\land A | 1,2,論理積の導入 |
| 4 |  A | 3,論理積の消去 |
| 5 |  A\to A | 1,4,条件付き証明 |
規則の健全性と完全性

個々に挙げられた規則の重要な性質は健全性と完全性である。直感的には、これらの規則は正しくしかも他に必要な規則はないということである。これは以下のようにして形式化される。
真理値の割り当てを、命題変数に対して真（ \top ）または偽（ \bot ）の値を対応させる関数だと考えることにする。形式的でない言い方をすれば、真理値の割り当てとは、特定の叙述が真になり他は偽になるような「おきうる事態」（またはありうる世界）についての説明だと理解できる。その「事態」においてそれぞれの式が正しくなるのはどんなときかを定めることで式の意味論が定式化できる。
真理値の割り当て Aがどんなときに特定の整式を充足するか、ということを以下の規則によって定める。
A(P)=\top  であるとき、およびそのときに限って  A は命題変数  P を充足する
Aが  \phi  を充足しないとき、およびそのときに限って  A は  \lnot \phi  を充足する
Aが  \phi  と  \psi  を充足するとき、およびそのときに限って  A は  (\phi \land \psi ) を充足する
Aが  \phi  か  \psi  の少なくともどちらかを充足するとき、およびそのときに限って  A は  \phi \lor \psi  を充足する
Aが \phi を充足するのに  \psi  を充足しないということがないとき、およびそのときに限って  A は  (\phi \rightarrow \psi ) を充足する
この定義によって式  \phi  が特定の式の集合  \mathbb {S}  から従うとはどういうことなのかを定式化できる。格式張らずにいえばこれは、 \mathbb {S}  の式が成り立っているようなすべての世界において  \phi  が成立していることだ、といえる。これは次のように形式化できる： \mathbb {S}  の式をすべて充足するような真理値の割り当てが必ず  \phi  を充足するとき、整式  \phi  は  \mathbb {S}  から意味論的に帰結する（または導かれる）、という。
最後に、統語的な帰結という関係を、 \phi  が上に挙げた推論規則に従って有限の段階で  \mathbb {S}  の式から導出されるとき、およびそのときに限って  \phi  は  \mathbb {S}  から統語的に帰結する、として定める。これによって推論規則の集合が健全だとか完全だとかいうのはどういうことなのかを定式化できる。
上記の自然命題論理の規則の集合についてはこれらが成り立っている。
別の論理計算の定式化

文法と論理演算子のほとんどを公理によって定め、推論規則を一つだけしか持たないような、他の方式の命題計算を定義することもできる。
以下、 \phi 、 \chi 、 \psi  で整式を表すことにする。個々の整式自体はギリシャ文字を含まず、ローマ字と結合子と括弧のみからなっている。
別の論理計算の定式化 > 公理系1

スティーブン・コール・クリーネによって導入された体系では11の公理と一つの推論規則が用いられる。
| 名前 | 公理 | 備考 |
| --- | --- | --- |
| THEN-1 |  \phi \rightarrow (\chi \rightarrow \phi ) | 含意の導入と一般的に呼ぶ |
| THEN-2 |  (\phi \rightarrow (\chi \rightarrow \psi ))\rightarrow ((\phi \rightarrow \chi )\rightarrow (\phi \rightarrow \psi )) | 「含意の推移性」に対応。フレーゲの三段論法と一般的に呼ぶ。 |
| AND-1 |  \phi \land \chi \rightarrow \phi  | 「論理積の消去」に対応。単純化と呼ぶ。 |
| AND-2 |  \phi \land \chi \rightarrow \chi  | 「論理積の消去」に対応。 |
| AND-3 |  \phi \rightarrow (\chi \rightarrow (\phi \land \chi )) | 「論理積の導入」に対応。 |
| OR-1 |  \phi \rightarrow \phi \lor \chi  | 「論理和の導入」に対応。 |
| OR-2 |  \chi \rightarrow \phi \lor \chi  | 「論理和の導入」に対応。 |
| OR-3 |  (\phi \rightarrow \psi )\rightarrow ((\chi \rightarrow \psi )\rightarrow (\phi \lor \chi \rightarrow \psi )) |  |
| NOT-1 |  (\phi \rightarrow \chi )\rightarrow ((\phi \rightarrow \lnot \chi )\rightarrow \lnot \phi ) | 「背理法」に対応。 |
| NOT-2 |  \phi \rightarrow (\lnot \phi \rightarrow \chi ) | 「principle of explosion 矛盾からは何でも導出できる」。 |
| NOT-3 |  \phi \lor \lnot \phi  | 「排中律」。 |
公理 AND-1 と公理 AND-2 の平行性は論理積の可換性を反映している。
公理 OR-1 と公理 OR-2 の平行性は論理和の可換性を反映している。
公理 NOT-2 に何らかの制限を加えて論理体系を構成する方法は矛盾許容論理と呼ぶ。
公理 NOT-3 は命題式の意味論的値付けの可能性を反映している：式の真理値は真か偽のどちらかである。少なくとも古典的論理学においては第三の真理値という可能性は考慮されない。公理 NOT-3 を認めないで論理体系を構成する方法は直観主義論理と呼ぶ。
推論規則はモーダスポネンス、つまり
のみを規約する。上記の公理系とこの推論規則から#推論規則節で述べられたのと同じ演繹が可能になる。