modus ponens
（複mó・di po・nén・tes /pounéntìːz/）《論理学》肯定化，肯定式語源［ラテン］
modus tollens
（複mó・di po・nén・tes /taléntìːz/）《論理学》否定化，否定式語源［ラテン］
mood2
[名]1 《文法》（動詞の）法，叙法（◇叙述に対する話者の心的態度（確信・疑惑・願望・命令など）を示す）2 《論理学》式（◇妥当な三段論法の種々な形の総称）
necessary
[形]1 必要な，（…に）欠くことのできない，必須ひっすの≪to，for≫a necessary condition必要条件items necessary for daily life日常生活に...
negation
[名]((形式))1 否定，否認，打ち消し（⇔affirmation）；《論理学》否定1a 否定的陳述［概念］；反論，反駁はんばく；反証2 存在しないもの，非実在，（実体の）欠如，無；（確かなも...
negative
[形]((形式))1 〈意見・答えなどが〉否定の，否定的な；否定を表す；《文法》否定の（⇔affirmative）a negative response to the questionその質問に...
not
（◆助動詞・be動詞・have動詞のあとで/nt, n/）副1 【述語動詞・文の否定】〔助動詞・本動詞のbe・((時に英))haveのあとに置いて〕…でない（◆((略式))では isn't，ha...
obverse
[名]1 〔the ～〕（コイン・メダルなどの）表面（⇔reverse）；（物の）表面，表（⇔reverse）≪of≫2 ((形式))対応するもの，反対物2a 《論理学》換質命題━━/ɑbvə́...
obversion
[名]1 ひっくり返すこと；向け直されたもの2 《論理学》換質法
obvert
[動]他1 …を（別の面を見せるために）ひっくり返す，向け直す2 《論理学》〈命題を〉換質する
