Similar to 論理的帰結
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
矢印
Arrow (symbol)
リテラル
Literal (computer programming)
ロズンジ
結論
推論
Inference
アブダクション
Abductive reasoning
意味論 (論理学)
Semantics
演繹
Deductive reasoning
外延
Extension (semantics)
擬似問題
疑念
Doubt
共有知識
Common knowledge (logic)
偶然
Contingency (philosophy)
決定可能性
Decidability (logic)
公理
Axiom
自己言及
Self-reference
事実
Factジレンマ
Dilemma
真実らしさ
Verisimilitude
真理値
Truth valueスーパータスク
Supertask
絶対性 (数理論理学)
Absoluteness (logic)
