语言
没有数据
通知
无通知
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理
論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。 プログラミング言語などで、ブーリアン型を扱う式のこと。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探
数学における論理式（ろんりしき: logical expression）とは、真理値を必要とする場所にあらわれる式で、原子論理式や、それを論理演算子で結びあわせた式である。ここでは古典論理のものを例示するが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 命題論理の論理式は命題論理
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証
理論物理学において良く用いられる、四脚場 (Vierbein) や四つ組（英語版） (tetrad) の理論は四次元多様体にカルタン接続を適用した特殊例である。これは計量の符号がどのような場合でも適用することができる（計量テンソルを参照）。四次元でない場合は、三つ組 (triad)や五つ組 (pentad)、二脚場 (Zweibein)、五脚場
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。
理論物理学（りろんぶつりがく、英語: theoretical physics）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
搜索 
搜索 搜索 
