一階論理の道具立てを使うと、公理あるいは推論規則によって様々な理論を定式化し、論理計算として取り扱えるようになる。最も有名な例は算術だが、ほかにも集合論やメレオロジーが挙げられる。
多値論理では文の真理値として真と偽以外のものも許容される。（例えば「真でもあり偽でもある」とか「真でも偽でもない」がよく追加される。またファジィ論理では真と偽の間の無限にこまかい「真実である度合い」が導入される。）これらの論理学ではしばしば命題計算とは異なった計算手法が必要になる。
命題計算
富山高岡線
火薬力
行政区画.
単機能だが使いやすいインタフェースで、Internet Explorer とほぼ同じ操作感を持つ。
動作が軽く安定性があるが、現在は開発が停止されているため最近のタブブラウザと比較すると、機能面で劣る部分も多い。しかしソースコードが公開されているので、有志達により様々な改良が加えられ機能の充実がなされている。
アルペンスタジアム
ヒドロキシラミン
来歴.
個人成績.
その他の公式戦
俗語.
幸せレシピ
青山学院高等部
ラジオ香川
過剰学習
過剰学習（かじょうがくしゅう）とは教育学用語で、すでに獲得した知識、技能についてさらに反復・継続して学習し、それを強固なものとすることである。最初に習得した時点を超えて新たに習得したスキルを練習することで、この用語はこの形式の実践が自動性またはその他の有益な結果につながるという教育学的理論を指すためにもよく使用される。
初期の研究.
現代作.
最近の研究では過剰学習と保持間隔の相互作用を明示的に調査し、過剰学習の効果はかなり短命である傾向があると結論付けている 。学習者が教材の短期間の保持のみを必要とする場合には、過剰学習がより役立つ場合があるとした。
地理学の事実と単語の定義を学習する.
数学の過学習.
アメリカ合衆国国定歴史建造物
概要.
制度の沿革.
指定の条件.
内務長官による指定の条件は以下の通り。
NHLの例.
その他.
関連項目.
アメリカ
イギリス
カナダ
複数の国
ヒッカム空軍基地
ヒッカム空軍基地（）は、ハワイ州ホノルルにあったアメリカ空軍の基地である。
概要.
マルコ・ポーロ (曖昧さ回避)
労働者農民党
概要.