酸素が余る状態を「酸素バランスがプラスになっている」と表現する。逆に一酸化炭素などが発生する状態を「後ガス(あとガス)が悪い」と言う。発破作業などでは作業者の安全を重視するため酸素バランスの適正化を行うが、軍隊などでは逆に爆薬の威力が低下する混ぜ物を嫌うため後ガスの悪い爆薬を使用する。このため、大量の爆薬が消費される演習地などでは環境汚染が発生している。計算方法.計算結果がマイナスなのでトリニトロトルエンが爆発すると後ガスが悪いことが分かる。中村正三郎中村正三郎(なかむらしょうざぶろう)概要.事業内容としては自動車のチューニングおよび自動車部品の製造販売となっている。自動車部品の主な製品はアルミホイール、エアロパーツ、吸排気系部品、サスペンション、シート等のインテリアパーツなどがある。歴史.会社名の「カールソン」は、兄弟二人とも尊敬していたスウェーデン人のラリードライバー、イングバル・カールソンに敬意を表示するため命名したものである。命題論理概要.命題論理の命題の取り扱いは普通、、またはと呼ぶ命題変数を原子式にするような形式的な推論の体系によってなされる。命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理や相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、を指す(古典論理)。従って、本項目では古典命題論理について主に解説することとする。一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現(整式)の集合、その表現のいくつかからなる部分集合(公理の集合)、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。