同語反復

条件にかかわらず真である命題。


または

複数の命題について、そのうち少なくとも一つが真であるときに全体を真とする論理演算を意味する。記号∨で表す。数理論理学でいう論理和にあたる。

私は中学生である。または、バレーボール部員である。

「私」が「中学生である」、「バレーボール部員である」という2つの命題のうちどちらか1つだけでも真であれば、上記の文は真となる。逆を言えば、「私が中学生でもなければバレー部員でもない」ときのみ、この文は偽となる。


否定

（ある命題を）偽とすること。


うそ

命題が真ではないこと。 偽。


analysis

分析。既知の真実から演繹することによる証明。


証明

しょうめい
証明
し
せ
さ
し
する
する
すれ
しろ
せよ
証明しない
未然形 + ない
証明せず
未然形 + ず
証明される
未然形 + れる
証明します
連用形 + ます
証明した
連用形 + た
証明する
終止形のみ
証明すること
連体形 + こと
証明すれば
仮定形 + ば
証明しろ
証明せよ
命令形のみ

ある命題が正しいことを主張するための一連の演繹。前提や仮定から推論規則によって命題を導くこと。


sound

健全な、健全性を有する。


対偶

命題「pならばqである」に対して、前件と後件をそれぞれ否定して入れ替えた命題のこと。先の命題の対偶は「qでないならばpでない」となる。対偶の真偽は元の命題の真偽と一致する。


肯定

こうてい
肯定
し
せ
さ
し
する
する
すれ
しろ
せよ
肯定しない
未然形 + ない
肯定せず
未然形 + ず
肯定される
未然形 + れる
肯定します
連用形 + ます
肯定した
連用形 + た
肯定する
終止形のみ
肯定すること
連体形 + こと
肯定すれば
仮定形 + ば
肯定しろ
肯定せよ
命令形のみ

命題が真であると認めること。


ou

古ポルトガル語ou < ラテン語aut


命題

(語義2) は、西周が英語:propositionの訳語としたもの。


定理

公理により証明された命題または数学的な主張。


詭弁

論理学において、相手を欺いたり困らせたりするために使われる虚偽の論法。


binary

後期ラテン語bīnārius「二つから成る」 < ラテン語bīnī「二ずつ」

二値の。値が二つだけの。真と偽の二つだけによって表現される論理演算。


うら

命題の前件と後件の両方を否定した命題。「 p ならば q である」に対して、「 p でなければ q でない」をいう。ある命題が真であっても、その裏は必ずしも真ではない。


valid

フランス語valide「健全な」 < ラテン語validus < valēre + -idus < 印欧祖語*wal (“頑健な”)

妥当の、妥当性を備えた。

論証が妥当性を有するのは、全ての前提と結論の矛盾対当により構成される集合が同時に成立しえないということであり、その場合に限る。

An argument is valid if and only if the set consisting of both (1) all of its premises and (2) the contradictory of its conclusion is inconsistent.


thesis

ラテン語thesis < 古典ギリシア語θέσις (thesis)


syllogismus

古典ギリシア語συλλογισμός (sullogismos)


silogismo

ラテン語syllogismus < 古典ギリシア語συλλογισμός (sullogismos)


syllogism

古フランス語silogisme < ラテン語syllogismus < 古典ギリシア語συλλογισμός (syllogismos)


válido

válida
válidos (plural)
válidas (plural)
; 比較形有り


syllogisme

ラテン語syllogismus < 古典ギリシア語συλλογισμός (syllogismos)


predicament

古フランス語 < 後期ラテン語praedicamentum「断定（predicate）されたもの」 < ラテン語praedicare「宣言する、断定する」

pɹɪˈdɪkəmənt

音声(イングランド南部)


implication

中期フランス語implication < ラテン語implicationem (implicatio の対格)

ˌɪmpləˈkeɪʃən


denotation

denote < 中期フランス語denoter < ラテン語denotare < de- + notare + + 接尾辞 "-ation"


fallacy

中英語 < 古フランス語fallace < ラテン語fallacia (欺騙) < fallax < fallere (騙す)


判明

概念の内包が明らかであること。


distribution

古フランス語 < ラテン語distributio < distribuere < dis- + tribuere

ˌdɪstɹəˈbjuːʃən


premise

中英語 < 古フランス語premisse < 中世ラテン語premissa (ラテン語praemittere の完了分詞女性形) < prae- + mittere


まこと

古典日本語「まこと」 < 「ま」（真） + 「こと」（事）

（真）論理演算において、ある命題が、前提となる命題に対して矛盾を生じないこと。真。


Tautologie

属格Tautologie
複数形 Tautologien (plural)
Tautologien


tautológia

式を構成する命題変数の真理値や解釈に関わらず常に真となる論理式


tautología

後期ラテン語tautologia < 古典ギリシア語ταὐτολογία (tautología) < ταὐτός (tautós)


tautology

後期ラテン語tautologia < 古典ギリシア語ταὐτολογία (tautología) < ταὐτός (tautós) + λόγος (lógos)


connotation

中世ラテン語connotātiō < ラテン語connotāre
connote + 接尾辞 "-ation"

ˌkɑnəˈteɪʃən

ˌkɒnəˈteɪʃən


ternary

後期ラテン語ternārius「三つから成る」 < ラテン語ternī「三ずつ」

三値の。値が三つの。「真か偽か」の二値に対して、「真か偽か不明か」の三つによって表現される論理演算。

a ternary logic


tautologie

tautologieën (plural)
tautologietje
tautologietjes (plural)


субъект

ラテン語subiectum < subiectus「従属している, 国民」 < subicere「下に置く; 従属させる」 < sub-「下に」 + iacere「投げる」 < 印欧祖語*(H)yeh₁-

Ru-субъект.ogg


negation

中英語negacioun < 古フランス語negacion < ラテン語negātiō


公理

他の命題を導出するための前提として導入される最も基本的な仮定。


公準

公理に準じて要請される前提


proposition

/ˌpɹɑpəˈzɪʃən/


corollary

/ˈkɔɹəˌlɛɹi/


obvert

obverts (third-person singular present)
obverting (present participle)
obverted (past)


conjunction

古フランス語conjonction < ラテン語coniūnctiō < coniungere

kənˈdʒʌŋkʃən


論点先取

[ròńtéńséꜜǹshù]

[ɾõ̞ntẽ̞ɰ̃sẽ̞ɰ̃ɕɨᵝ]

証明すべき命題が暗黙または明示的に前提の一つとして使われるという誤謬の一つ。


逆説的

ぎゃくせつてき
逆説的
だろ
だっ
で
に
だ
な
なら
(無し)
逆説的だろう
未然形 + う
逆説的だった
連用形 + た
逆説的でない
連用形 + ない
逆説的になる
連用形 + なる
逆説的だ
終止形のみ
逆説的なこと
連体形 + こと
逆説的ならば
仮定形 + ば
逆説的そうだ
語幹 + そうだ

[ɡʲa̠kɯ̟ᵝse̞t͡sɨᵝte̞kʲi]

逆説に関するさま、一見真理に背いているているようで、実際には真理を突いているさま。

一言にして云えば自然主義は、啓蒙思潮の文学であり、逆説的な反語に充ちたところの、一のパラドキシカルな倫理主義の文学だった。(萩原朔太郎 『詩の原理』)


Gegenbeispiel

属格Gegenbeispiels 又は Gegenbeispieles
Gegenbeispiels
又は Gegenbeispieles
Gegenbeispieles
複数形 Gegenbeispiele (plural)
Gegenbeispiele

ˈɡeːɡənˌbaɪ̯ʃpiːl


interpretation

中英語 < アングロ・ノルマン語 < 古フランス語 < ラテン語interpretātiō < interpretārī

ɪntɚpɹəˈteɪʃən

ɪntəpɹəˈteɪʃən


無矛盾性

ある公理系で互いに矛盾する公理が何も存在しないこと。また、そこからの命題を導き出すのに論理的な矛盾がないこと。整合性。


整合性

ある公理系で互いに矛盾する公理が何も存在しないこと。また、そこからの命題を導き出すのに論理的な矛盾がないこと。無矛盾性。