日本語 ▼

Matematika Logiko / 数理論理学 - レキシコン

propono

命題

predikato

述語

kvantigilo

量指定子

taŭtologio

トートロジー

kontraŭdiro

矛盾

inferenco

推論

modaleco

モダリティ

aksiomo

公理

teoremo

定理

pruvo

証拠

modelo

モデル

konsistenco

一貫性

tuteco

完全

solideco

健全性

neo

否定

konjunkcio

接続詞

disjunkcio

分離

implico

含意

ekvivalenteco

等価

sintakso

構文

semantiko

セマンティクス

variablo

変数

funkcio

関数

rilato

関係

domajno

ドメイン

interpreto

解釈

depreno

控除

implico

含意

logikaj konektiloj

論理接続詞

predikata logiko

述語論理

propozicia logiko

命題論理

unuaorda

一次

duaorda

二次

modela teorio

モデル理論

pruva teorio

証明理論

aroteorio

集合論

formala sistemo

正式なシステム

metateorio

メタ理論

decideblo

決定可能性

rikuro

再帰

fiksa punkto

固定小数点

kombinatoriko

組合せ論

aŭtomato

オートマトン

komputebleco

計算可能性

logika pordego

論理ゲート

Bulea algebro

ブール代数

normala formo

正規形

konsekvenco

結果

konsistenco

一貫性

refuto

反論