日本語 ▼

Математична логіка / 数理論理学 - レキシコン

пропозиція

命題

предикат

述語

квантифікатор

量指定子

тавтологія

トートロジー

суперечність

矛盾

висновок

推論

модальність

モダリティ

аксіома

公理

теорема

定理

доказ

証拠

модель

モデル

послідовність

一貫性

повнота

完全

обґрунтованість

健全性

заперечення

否定

кон'юнкція

接続詞

диз'юнкція

分離

наслідок

含意

еквівалентність

等価

синтаксис

構文

семантика

セマンティクス

змінна

変数

функція

関数

відношення

関係

домен

ドメイン

інтерпретація

解釈

відрахування

控除

втягнення

含意

логічні зв'язки

論理接続詞

логіка предикатів

述語論理

логіка висловлювань

命題論理

першого порядку

一次

другого порядку

二次

теорія моделей

モデル理論

теорія доказів

証明理論

теорія множин

集合論

формальна система

正式なシステム

метатеорія

メタ理論

розв'язність

決定可能性

рекурсія

再帰

фіксована точка

固定小数点

комбінаторика

組合せ論

автомат

オートマトン

обчислюваність

計算可能性

логічний вентиль

論理ゲート

Булева алгебра

ブール代数

нормальна форма

正規形

наслідок

結果

послідовність

一貫性

спростування

反論