検索結果- 英語 - 多言語
検索内容:
proof system
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
論理学において、公理の集合と推論規則の集合を用いて自明な命題を導出し、その証明を構築するための体系。
galley proof
(printing) A trial page or proof of continuous text that has not been divided into pages.
印刷業界において、ページ分割がされていない連続文面の試し刷り版のこと
artist's proof
A very early proof impression of an engraving, etc., often distinguished by the artist's signature.
彫刻や版画などにおける、非常に初期の証明刷りで、通常は作者のサインが付されているもの
damp proofing
proof-reads
Third-person singular simple present indicative form of proof-read
これは「proof-read」の三人称単数現在形、つまり「校正する」を意味する活用形です。
negative proof
A fallacious judgment that, because a premise cannot be proven true, that premise must be false.
ある前提が真であると証明できないことを理由に、その前提が偽であると誤って判断する論理的誤謬。
rabbit-proof
Resistant to rabbits.
ウサギに対して耐性がある、ウサギの影響を防ぐ性質を持っている
page proof
(printing) A trial page or proof that has been made up into pages.
印刷工程における試し刷り、または校正用に作成されたページ
proof spirit
A mixture of alcohol and water used as a standard for distilled drinks.
蒸留酒の規格を示すために使用される、アルコールと水の混合液体。