proof
[名]1 UC（…の）証拠≪of≫；（…の/…という）証明，立証（の力）≪of/that節≫conclusive proof決定的な証拠proof positive明白［確か］な証拠as (a)...
property
[名]（複-ties）1 U財産，資産；〔集合的に〕所有物private [national] property私有［国有］財産fixed property固定資産a man of proper...
proposition
[名]C1 （…という）提案，提議，発議，判断≪that節≫make a person a proposition [a proposition to a person]人に提案する1a 《論理...
propositional logic
《数学・論理学》命題論理
quality
[名]（複-ties）1 UC（物などの）質，品質≪of≫；U良質，上質，高品質（excellence）standards of quality品質基準the top quality最高品質of...
quantifier
[名]1 （データ・活動を）数量化する人；数量計算のうまい人2 《言語学・文法》数量（形容）詞（◆five，eight，few，little，much，many など）3 《論理学》量記号
quantify
[動]他1 …を数量化する，数値で表す2 《論理学》〈命題の〉量を明示するquantifyの派生語quantifiable形quantification名
quantity
[名]（複-ties）1 CU（具体物の）数量≪of≫a large [small] quantity of oil大［少］量の油vast [huge, enormous] quantities...
rational
[形]1 〈物・事が〉合理的な，〈言動が〉（道）理にかなった（⇔irrational）a rational argument [explanation]合理的な議論［説明］2 〈人が〉理性的な，...
rationale
[名]UC((形式))1 （…の）根本的理由，本義；論理的根拠≪behind，for，of≫2 理由づけ，正当化
